Vincent Danos Jérôme Feret Walter Fontana Russell Harmer Jean Krivine Rule-Based Modelling and Model Perturbation. 116-137 2009 11 T. Comp. Sys. Biology http://dx.doi.org/10.1007/978-3-642-04186-0_6 journals/tcsb/2009-11 db/journals/tcsb/tcsb11.html#DanosFFHK09