Mathematical Foundations of Computer Science 1977 (Grundlehren Der Mathematischen Wissenschaften) | lit.salon