Title: Semantische Theorie der Programmsprachen
Subjects: Programming languages (Electronic computers)