1. Mark Aagaard and Miriam Leeser. The implementation and proof of a boolean simplification system. Technical Report EE-CEG-90-2, Cornell School of Electrical Engineering, March 1990. In the Oxford Workshop on Designing Correct Circuits, September, 1990.
2. Anthony Bailey. Representing algebra in LEGO. Master's thesis, University of Edinburgh, November 1993.
3. David A. Basin and Robert L. Constable. Metalogical frameworks. In Gérard Huet and Gordon Plotkin, editors, Logical Environments. Cambridge University Press, 1993.
4. David A. Basin and Peter Del Vecchio. Verification of combinational logic in Nuprl. In M. E. Leeser and G. M. Brown, editors, Hardware Specification, Verification, and Synthesis: Mathematical Aspects, pages 333–357. Springer Verlag, 1990. LNCS 408.
5. Nicolas Bourbaki. Algebra, Part I. Elements of Mathematics. Addison-Wesley, 1974.