Formalising behaviour preserving program transformations (2002)

by T Mens, S Demeyer, D Janssens
Venue:In Proc. First Int’l Conf. Graph Transformation