Vincent Danos Jérôme Feret Walter Fontana Russell Harmer Jean Krivine Rule-Based Modelling, Symmetries, Refinements. 103-122 2008 FMSB http://dx.doi.org/10.1007/978-3-540-68413-8_8 conf/fmsb/2008 db/conf/fmsb/fmsb2008.html#DanosFFHK08