M. Goldberg, “An Adequate Left-Associated Binary Numeral System in the lambda-Calculus”, BRICS, bd. 2, nr. 42, jun. 1995.