Title: Formale Beschreibungsverfahren der Informatik
Subjects: Formale Beschreibungstechnik