Proving theorems about LISP functions (1975)

by R S Boyer, J S Moore
Venue:J. Assoc. Comput. Mach