HALMA: ein CAD-Programm für die Synthese und Optimierung von Schaltnetzen mit vorgegebener Verzögerungszeit. - Axel Kemper; Thomas M. Sarfert (it Inf. Technol., 1986)

SOCRATES: a highly efficient automatic test pattern generation system. - Michael H. Schulz; Erwin Trischler; Thomas M. Sarfert (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1988)

Hierarchical Test Pattern Generation Based on High-Level Primitives. - Thomas M. Sarfert; Remo G. Markgraf; Erwin Trischler; Michael H. Schulz (ITC, 1989)

A hierarchical test pattern generation system based on high-level primitives. - Thomas M. Sarfert; Remo G. Markgraf; Michael H. Schulz; Erwin Trischler (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1992)