Formale Beschreibungsverfahren der Informatik by Helmut Eirund & Gerlinde Schreiber