"Computer aided test pattern generation for digital processors."

Klaus Pfeuffer (1977)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics