Goldberg, M. An Adequate Left-Associated Binary Numeral System in the Lambda-Calculus. BRICS 1995, 2.