Mathematical Foundations of Computer Science 1981 | lit.salon