Robert Paige Transformational Programming - Applications to Algorithms and Systems. 73-87 1983 conf/popl/1983 POPL db/conf/popl/popl83.html#Paige83 http://doi.acm.org/10.1145/567067.567076