Robert A. Walker, Donald E. Thomas. A model of design representation and synthesis. In Hillel Ofek, Lawrence A. O Neill, editors, Proceedings of the 22nd ACM/IEEE conference on Design automation, DAC 1985, Las Vegas, Nevada, USA. pages 453-459, ACM, 1985. [doi]
Abstract is missing.