Properties of programs and partial function logic (1970)

by Zohar Manna, John McCarthy
Venue:Machine Intelligence