Title: Eine formale algorithmische Synthese digitaler Schaltungen
Subjects: Digitalschaltung, HOL, Logiksynthese, Formale Spezifikationstechnik