Proving theorems about LISP functions (1975)

by R BOYER, J MOORE
Venue:J. Comput. Mach