1. Mark D. Aagard, Miriam E. Leeser, and Phillip J. Windley. Toward a super duper hardware tactic. In Proceedings of the HOL User's Group Workshop, pages 401–414, 1993.
2. Martín Abadi and Leslie Lamport. The existence of refinement mappings. In Third Annual Symposium on Logic in Computer Science, pages 165–175. IEEE, Computer Society Press, July 1988.
3. R. J. Boulton. The HOL arith library. Technical report, University of Cambridge Computer Laboratory, 1992.
4. R. S. Boyer and J. S. Moore. A Computational Logic Handbook. Academic Press, New York, NY, 1988.
5. K. S. Brace, R. L. Rudell, and R. E. Bryant. Efficient implementation of a BDD package. In Proc. of the 27th ACM/IEEE Design Automation Conference, pages 40–45, 1990.