Paolo Baldan Barbara König Approximating the Behaviour of Graph Transformation Systems. 14-29 2002 conf/gg/2002 ICGT http://link.springer.de/link/service/series/0558/bibs/2505/25050014.htm db/conf/gg/icgt2002.html#BaldanK02