"Towards Correctness of Program Transformations Through Unification and ..."

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