"Correctness of Program Transformations as a Termination Problem."

Conrad Rau, David Sabel, Manfred Schmidt-Schauß (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics