Transformational Programming -- Applications to Algorithms and Systems (1983)

by R Paige
Venue:In Proc. Tenth ACM Symp. on Principles of Programming Languages