More Reasons Why Higher-Order Logic is a Good Formalism for Specifying and Verifying Hardware ID TR-90-35 Authors Jeffrey J. Joyce Publishing date January 1990 File(s) TR-90-35.pdf