Formale Beschreibungsverfahren der Informatik door Helmut Eirund & Gerlinde Schreiber