Mathematical Foundations of Computer Science 1997 | lit.salon