The calculus of operations. By John Paterson, A.M.