مؤلف: Gerlinde Schreiber

Helmut Eirund & Bernd Muller: Formale Beschreibungsverfahren der Informatik