Mojmír Kretínský Vojtech Rehák Jan Strejcek Extended Process Rewrite Systems: Expressiveness and Reachability. 355-370 http://dx.doi.org/10.1007/978-3-540-28644-8_23 2004 conf/concur/2004 CONCUR db/conf/concur/concur2004.html#KretinskyRS04