Title: Formale Methoden und kleine Systeme
Subjects: Formalisierung, Kleines System