A Consistent Extension of the Lambda-Calculus as a Base for Functional Programming Languages Klaus J. Berkling Elfriede Fehr 89-101 Information and Control October/November/December 1982 55 1-3 db/journals/iandc/iandc55.html#BerklingF82