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