Formale Beschreibung von Programmiersprachen - Dembiński, Piotr (1983)