"Initial design concepts for an advanced design automation system."

Melvin A. Breuer, Arthur D. Friedman (1974)
a service of Schloss Dagstuhl - Leibniz Center for Informatics