Goldberg, M. 1995. An Adequate Left-Associated Binary Numeral System in the lambda-Calculus. BRICS Report Series. 2, 42 (Jun. 1995). DOI:https://doi.org/10.7146/brics.v2i42.19943.