Title: Mathematical Foundations of Computer Science 1976 (Grundlehren Der Mathematischen Wissenschaften)