Mathematical Foundations of Computer Science 1986 | lit.salon