Title: Methoden zur Formalisierung der Semantik von Programmiersprachen
Subjects: Programming languages (Electronic computers), Semantics