Rechnerunterstützte Erzeugung von Prüfprogrammen für digitale Schaltungen - Merz, G. (Ges. f. Kernforschung, 1975)