Robert L. Blackburn, Donald E. Thomas. Linking the behavioral and structural dominis of representation in a synthesis system. 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 374-380, ACM, 1985. [doi]
Abstract is missing.