"A survey of the state-of-the-art of design automation an invited presentation."

Melvin A. Breuer (1982)
a service of Schloss Dagstuhl - Leibniz Center for Informatics