1. Bevier, W.R.: A verified operating system kernel. Ph.D. dissertation, University of Texas at Austin (1987)
2. Bevier, W., Hunt Jr., W.A., Moore, J.S., Young, W.: Special issue on system verification. J. Autom. Reasoning 5(4), 409–530 (1989)
3. Boyer, R.S., Moore, J.S.: Proving theorems about pure lisp functions. JACM 22(1), 129–144 (1975)
4. Boyer, R.S., Moore, J.S.: A lemma driven automatic theorem prover for recursive function theory. In: 5th International Joint Conference on Artificial Intelligence, pp. 511–519 (1977)
5. Boyer, R.S., Moore, J.S.: A Computational Logic. Academic Press, New York (1979)