An Adequate Left-Associated Binary Numeral System in the lambda-Calculus

The Pointer Assertion Logic Engine