Equational Arithmetic Third Edition by Hipsley