Larry N. Dunn An overview of the design and verification subsystem of the Engineering Design System. 237-238 1983 DAC http://dl.acm.org/citation.cfm?id=800670 conf/dac/1983 db/conf/dac/dac1983.html#Dunn83