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 https://doi.org/10.1016/0167-6423(87)90008-6