Lambda Calculus Schemata, proceedings of the ACM conference Proving assertions about programs pp 104-109 (1972)

by Michael J Fischer
Venue:No 1 and SIGACT News, No 14