Tom Mens, Serge Demeyer, Dirk Janssens. Formalising Behaviour Preserving Program Transformations. In Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg, editors, Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings. Volume 2505 of Lecture Notes in Computer Science, pages 286-301, Springer, 2002. [doi]
Abstract is missing.