1. David Basin and Peter DelVecchio. Verification of combinational logic in Nuprl. In Hardware Specification, Verification ana Synthesis: Mathematical Aspects, Ithaca, New York, 1989. Springer-Verlag.
2. Albert Camilleri, Mike Gordon, and Tom Melham. Hardware verification using higher-order logic. In D. Borrione, editor, From HDL Descriptions to Guaranteed Correct Circuit Designs, pages 43–67. Elsevier Science Publishers B. V. (North-Holland), 1987.
3. Albert John Camilleri. Executing Behavioural Definitions in Higher Order Logic. PhD thesis, University of Cambridge, 1988.
4. Cyrluk D., S. Rajan, N. Shankar, and M.K. Srivas. Effective theorem proving for hardware verification. In Second International Conference On Theorem Proving In Circuit Deisgn: Theory, Practice and Experience, Bad Herrenalb, Germany, September 1994.
5. 1994 Francisco Cantu, Edinburgh DAI. Personal Communication.