Tom Mens Conditional Graph Rewriting as a Domain-Independent Formalism for Software Evolution. 127-143 http://link.springer.de/link/service/series/0558/bibs/1779/17790127.htm 1999 conf/agtive/1999 AGTIVE db/conf/agtive/agtive1999.html#Mens99