Mathematical Foundations of Computer Science 1992 | lit.salon