"Eine formale algorithmische Synthese digitaler Schaltungen" - читать интересную книгу автора (Kai Kapp)