Formale Beschreibung von Programmiersprachen eine Einführung in die Semantik - Riedewald, Günter 1942-; Małuszyński, Jan; Dembiński, Piotr (Oldenbourg, 1983)