Mathematical Foundations of Computer Science 2001 | lit.salon