Equational Arithmetic by W. Hipsley