M. Goldberg, “An Adequate Left-Associated Binary Numeral System in the lambda-Calculus (Revised Version)”, BRICS, vol. 3, no. 6, Jan. 1996.