Backus, John (1981). "Function level programs as mathematical objects". Proceedings of the 1981 conference on Functional programming languages and computer architecture - FPCA '81. New York, New York, USA: ACM Press. pp. 1–10. doi:10.1145/800223.806757. ISBN0-89791-060-5.
Solov'ev, S.V. (1983). "The category of finite sets and Cartesian closed categories". J Math Sci. 22 (3): 1387–1400. doi:10.1007/BF01084396. S2CID122693163.
Solov'ev, S.V. (1983). "The category of finite sets and Cartesian closed categories". J Math Sci. 22 (3): 1387–1400. doi:10.1007/BF01084396. S2CID122693163.