Rechnergestützte Prüfprogrammerzeugung für digitale Schaltungen (Programmsystem Pelgros) - Apel, U. (1982)