"Modular description/simulation/synthesis using DDL."

Sajjan G. Shiva, J. A. Covington (1982)
a service of Schloss Dagstuhl - Leibniz Center for Informatics