Mathematical Foundations of Computer Science 2015 | lit.salon