Mathematical Foundations of Computer Science 2011 | lit.salon