John A. Darringer. The application of program verification techniques to hardware verification. In David W. Hightower, editor, Proceedings of the 16th Design Automation Conference, DAC '79, San Diego, California, USA, June 25-27, 1979. pages 375-381, ACM, 1979. [doi]
Abstract is missing.