Goldberg, M. An Adequate Left-Associated Binary Numeral System in the Lambda-Calculus (Revised Version). BRICS 1996, 3.