Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili. Mathematical Foundations for Program Transformations. In Pierre Flener, editor, Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR 98, Manchester, UK, June 15-19, 1998, Proceedings. Volume 1559 of Lecture Notes in Computer Science, pages 319-321, Springer, 1998. [doi]
Abstract is missing.