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