The Calculus of Operations. by John Paterson, A.M.