Why higher-order logic is a good formalism for specifying and verifying hardware (1985)

by M J C Gordon
Venue:Formal Aspects of VLSI Design: Workshop