Frage zu Artikel "Formale Grundlagen der Programmierung"