1. Augustsson, L. (2007) Numbers: various number types. Accessed April 28, 2021. Available at: http://www.haskell.org/package/numbers
2. What about the natural numbers?
3. Super-combinators a new implementation method for applicative languages
4. Friedman, D. P. & Wise, D. S. (1976) CONS should not evaluate its arguments. In Proceedings of 3rd International Colloqium on Automata Languages and Programming, pp. 257–284.
5. Peano, G. (1889) The principles of arithmetic, presented by a new method. In A Source Book in Mathematical Logic, 1879–1931, van Keijenoort, J. (ed). Harvard University Press, pp. 83–97.