More Reasons Why Higher-Order Logic is a Good Formalism for Specifying and Verifying Hardware IDTR-90-35AuthorsJeffrey J. JoycePublishing dateJanuary 1990File(s)TR-90-35.pdf