* Formale Methoden & Programmierung
(see below accompanying material to the course: Broesamle_Strasser_LISP)