Representations for Reasoning about Digital Circuits. - Tom M. Mitchell; Louis I. Steinberg; Reid G. Smith; Pat Schooley; Howard Jacobs; Van E. Kelly (IJCAI, 1981)

Verification of a Second-Generation 32-Bit Microprocessor. - Howard Jacobs (Computer, 1986)