Formale Beschreibung von Programmiersprachen Eine Einf. in d. Semantik - Riedewald, Günter (Reihe Datenverarbeitung, 1983)