Goldberg, M. “An Adequate Left-Associated Binary Numeral System in the Lambda-Calculus”. BRICS Report Series, vol. 2, no. 42, June 1995, doi:10.7146/brics.v2i42.19943.