Rechnergestützte Prüfprogrammerzeugung für digitale Schaltungen Programmsystem TEPES (Kernforschungszentrum, 1978)
Nebentitel: Rechnergestützte Prüfprogrammerstellung für digitale Schaltungen