No. 42 (1995): RS-42 An Adequate Left-Associated Binary Numeral System in the lambda-Calculus