Berthold Hoffmann Abstraction and Control for Shapely Nested Graph Transformation. 177-191 2002 conf/gg/2002 ICGT http://link.springer.de/link/service/series/0558/bibs/2505/25050177.htm db/conf/gg/icgt2002.html#Hoffmann02