Mathematical Foundations of Computer Science 1991 | lit.salon