Peter Pepper A Simple Calculus for Program Transformation (Inclusive of Induction). 221-262 1987 9 Sci. Comput. Program. 3 db/journals/scp/scp9.html#Pepper87