Henderson & Morris 1976 Henderson, Peter; Morris, James H. (1976). "A lazy evaluator". Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages - POPL '76. pp. 95–103. doi:10.1145/800168.811543. S2CID1228296.
Wells, J.B.; Haack, C. (2002). "Branching Types". In Le Métayer, Daniel (ed.). Programming languages and systems, ESOP 2002. Lecture Notes in Computer Science. Vol. 2305. Springer. pp. 129–132. doi:10.1007/3-540-45927-8_9. ISBN978-3-540-43363-7.
Maessen, Jan-Willem (2002). "Eager Haskell: resource-bounded execution yields efficient iteration". Proceedings of the 2002 ACM SIGPLAN Haskell Workshop (Haskell '02): Pittsburgh, Pennsylvania, USA; October 3, 2002. Association for Computing Machinery. pp. 38–50 See p. 40. doi:10.1145/581690.581694. ISBN978-1-58113-605-0.
Henderson & Morris 1976 Henderson, Peter; Morris, James H. (1976). "A lazy evaluator". Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages - POPL '76. pp. 95–103. doi:10.1145/800168.811543. S2CID1228296.