Beiträge zur Theorie der Programmiersprachen - Kopp, Herbert (1975)