Camilleri, A. J., T. F. Melham, and M. J. C. Gordon. 1987. “Hardware Verification Using Higher-Order Logic.” In From HDL Descriptions to Guaranteed Correct Circuit Designs: Proceedings of the IFIP WG 10.2 Working Conference, edited by D. Borrione, 43–67. Grenoble: North-Holland.

Davis, M., G. Logemann, and D. Loveland. 1962. “A Machine Program for Theorem Proving.” Communications of the ACM 5: 394–97.

Gordon, M. 1986. “Why Higher-Order Logic Is a Good Formalism for Specifying and Verifying Hardware.” In Formal Aspects of VLSI Design: Proceedings of the 1985 Edinburgh Workshop on VLSI, edited by G. Milne and P. A. Subrahmanyam, 153–77. North-Holland.

Milner, R. 1978. “A Theory of Type Polymorphism in Programming.” Journal of Computer and System Sciences 17 (3): 348–75.

Rabin, Michael O., and Dana S. Scott. 1959. “Finite Automata and Their Decision Problems.” IBM J. Research and Development 3 (2): 114–25. https://doi.org/10.1147/rd.32.0114.