Why Higher-Order Logic is a Good Formalism for Specifying and Verifying Hardware (1985)

by M Gordon