ผู้เขียน: Gerlinde Schreiber

Helmut Eirund & Bernd Muller: Formale Beschreibungsverfahren der Informatik