György E. Révész An Extension of Lambda-Calculus for Functional Programming. 241-251 1984 1 J. Log. Program. 3 db/journals/jlp/jlp1.html#Revesz84