Proving theorems about pure lisp functions (1975)

by R S Boyer, J S Moore
Venue:JACM