Proving Theorems about LISP Functions (1975)

by Robert S. Boyer, J Strother Moore