J. Strother Moore

A Theorem-Prover for Recursive Functions: A User's Manual.

Robert S. Boyer, J. Strother Moore, 1979 .

A Mechanically Checked Proof of the

Matt Kaufmann, J. S. Moore, Thomas W. Lynch, 1998 .

The INTERLISP Virtual Machine Specification

J. Strother Moore, 1976 .

A computational logic handbook

Robert S. Boyer, J. S. Moore, J. Strother Moore, 1979, Perspectives in computing.

Metafunctions: Proving Them Correct and Using Them Efficiently as New Proof Procedures.

Robert S. Boyer, J. Strother Moore, 1979 .

Mechanized formal reasoning about programs and computing machines

Robert S. Boyer, J. S. Moore, J. Strother Moore, 1997 .