Formalising behaviour preserving program transformations (2002)

by T Mens, S Demeyer, D Janssens
Venue:In Proceedings of the First International Conference on Graph Transformation