Goldberg, Mayer. “An Adequate Left-Associated Binary Numeral System in the Lambda-Calculus (Revised Version)”. BRICS Report Series 3, no. 6 (January 6, 1996). Accessed May 4, 2024. https://tidsskrift.dk/brics/article/view/19969.