Sany M. Leinwand, T. Lamdan. Design verification based on functional abstraction. In David W. Hightower, editor, Proceedings of the 16th Design Automation Conference, DAC '79, San Diego, California, USA, June 25-27, 1979. pages 353-359, ACM, 1979. [doi]
Abstract is missing.