Rechnergestützte Prüfprogrammerzeugung für digitale Schaltungen - Apel, U. (Projekt Rechnerunterstütztes Entwickeln, Konstruieren und Fertigen: CAD-Berichte, 1982)