Formale Beschreibungsverfahren der Informatik ein Arbeitsbuch für die Praxis - Eirund, Helmut 1959-; Müller, Bernd 1962-; Schreiber, Gerlinde (Informatik & Praxis, 2000)