Mark Aagaard
Verifying a Pipelined Circuit
Mark Aagaard, April 5, 1994
Using Reflection to External Automated Theorem Provers
Mark Aagaard, March 30, 1993
HOL Workshop
Mark Aagaard, September 15, 1992
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu