Thom W. Frühwirth Specialization of Concurrent Guarded Multi-set Transformation Rules. 133-148 2004 conf/lopstr/2004 LOPSTR http://dx.doi.org/10.1007/11506676_9 db/conf/lopstr/lopstr2004.html#Fruhwirth04