Peter Pepper: A Simple Calculus for Program Transformation (Inclusive of Induction). Sci. Comput. Program. 9(3): 221-262 (1987)