A simple calculus for program transformation (inclusive of induction)

Peter Pepper
1987 Science of Computer Programming  
A basic purpose of transformation systems is the application of 'correctness-preserving rules' in order to derive from given programs new,
doi:10.1016/0167-6423(87)90008-6 fatcat:z5ayygzxxvfdboitvoid5ccgqm