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