1. David A. Basin. Logic frameworks for logic programs. In 4th International Workshop on Logic Program Synthesis and Transformation, (LOPSTR'94), volume 883 of LNCS, pages 1–16, Pisa Italy, June 1994. Springer-Verlag.
2. David A. Basin and Nils Klarlund. Hardware verification using monadic second-order logic. In Computer-Aided Verification (CAV’ 95), volume 939 of LNCS, pages 31–41. Springer-Verlag, 1995.
3. A. J. Camilleri, M. J. C. Gordon, and T. F. Melham. Hardware verification using higher-order logic. In D. Borrione, editor, From HDL Descriptions to Guaranteed Correct Circuit Designs. North Holland, September 1986.
4. Technical Report;M. D. Coen,1992
5. S. Finn, M. P. Fourman, M. Francis, and R. Harris. Formal system design — interactive synthesis based on computer-assisted formal reasoning. In Dr. Luc Claesen, editor, IMEC-IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, volume 1, pages 97–110, Amsterdam, 1989. Elsevier Science publishers B.V. (North-Holland).