1. L Aiello, M Aiello, and R Weyhrauch. The semantics of Pascal in LCF. Memo STAN-CS-74-447, Stanford Artificial Intelligence Laboratory, Computer Science Department, Stanford University, August 1974.
2. H Barringer, G Gough, and B Monahan. Operational semantics for hardware design languages. In P Prinetto and P Camurati, eds., Advanced Research Workshop on Correct Hardware Design Methodologies, pages 313–334. North Holland, June 1991.
3. H Barringer, G Gough, B Monahan, and A Williams. A semantics for Core ELLA. Deliverable D2.3b, Department of Computer Science, University of Manchester, November 1992. Formal Verification Support for ELLA, IED project 4/1/1357.
4. H Barrow. Verify: A program for proving correctness of digital hardware designs. Artificial Intelligence, 24:437–491, 1984.
5. D Basin. Extracting circuits from constructive proofs. In 1991 Int'l Workshop on Formal Verification in VLSI Design. January 1991.