1. Lecture Notes in Computer Science 456;A. Asperti,1990
2. Backus, J.: Can Programming Be Liberated from the von Neuman Style? A Functional Style and its Algebra of Programs. Communications ACM 21, 613–641 (1978)
3. Barendregt, H.P.: The Lambda Calculus — Its Syntax and Semantics. Revised edition, second printing. Studies in Logic and the Foundations of Mathematics 103. Amsterdam: North-Holland 1985
4. Bauer, F.L., Berghammer, R., Broy, M., Dosch, W., Geiselbrechtinger, F., Gnatz, R., Hangel, E., Hesse, W., Krieg-Brückner, B., Laut, A., Matzner, T., Möller, B., Nickl, F., Partsch, H., Pepper, P., Samelson K. (†), Wirsing, M., Wössner, H.: The Munich Project CIP. Volume I: The Wide Spectrum Language CIP-L. Lecture Notes in Computer Science 183. Berlin: Springer 1985
5. Church, A.: The Calculi of Lambda Conversion. Annals of Mathematical Studies 6. Princeton: Princeton University Press 1941