Mathematical Foundations of Computer Science 2009 | lit.salon