Ein Verfahren zur Generierung von Testfolgen für die quasistatische logische Verknüpfungsprüfung von Logiksteckeinheiten in ESER-Rechnern. - Bernt Naumann (1986)

Ein kompositioneller Ansatz zur Synthese von Datenpfaden. - Karlheinz Agsteiner; Dieter Monjau; Bernt Naumann; Mathias Sporer (MBMV, 1999)