"Integrated techniques for functional and gate-level digital logic simulation."

Stephen A. Szygenda, Anthony A. Lekkos (1973)
a service of Schloss Dagstuhl - Leibniz Center for Informatics