@article(moll,
 author       = {Jakob L. Andersen and Christoph Flamm and Daniel Merkle and Peter F. Stadler},
 year         = {2016},
 title        = {{A Software Package for Chemically Inspired Graph Transformation.}},
 journal      = {Lecture Notes in Computer Science},
 volume       = {9761},
 pages        = {73--88},
 doi          = {10.1007/978-3-319-40530-8\_5},
)
@phdthesis(BaldanThesis,
 author       = {Paolo Baldan},
 year         = {2000},
 title        = {Modelling Concurrent Computations: from Contextual Petri Nets to Graph Grammars},
 school       = {Computer Science Department - University of Pisa},
)
@article(danos12,
 author       = {Vincent Danos and J{\'e}r{\^o}me Feret and Walter Fontana and Russell Harmer and Jonathan Hayman and Jean Krivine and Thompson-Walsh, Chris and Glynn Winskel},
 year         = {2012},
 title        = {Graphs, rewriting and pathway reconstruction for rule-based models},
 journal      = {Proceedings of FSTTCS 2012},
 volume       = {18},
 pages        = {276--288},
 doi          = {10.4230/LIPIcs.FSTTCS.2012.276},
)
@article(danos07,
 author       = {Vincent Danos and J{\'{e}}r{\^{o}}me Feret and Walter Fontana and Russell Harmer and Jean Krivine},
 year         = {2007},
 title        = {Rule-Based Modelling of Cellular Signalling, invited paper},
 journal      = {Proceedings of the 18th {CONCUR}},
 volume       = {4703},
 pages        = {17--41},
 doi          = {10.1007/978-3-540-74407-8\_3},
)
@article(DanosFFHK08,
 author       = {Vincent Danos and J{\'{e}}r{\^{o}}me Feret and Walter Fontana and Russell Harmer and Jean Krivine},
 year         = {2008},
 title        = {Rule-Based Modelling, Symmetries, Refinements},
 journal      = {Proceedings of Formal Methods in Systems Biology {FMSB}},
 pages        = {103--122},
 doi          = {10.1007/978-3-540-68413-8\_8},
)
@article(a_5571737,
 author       = {Vincent Danos and J{\'e}r{\^o}me Feret and Walter Fontana and Russell Harmer and Jean Krivine},
 year         = {2010},
 title        = {Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction},
 journal      = {Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science},
 pages        = {362--381},
 doi          = {10.1109/LICS.2010.44},
)
@article(Danos2007,
 author       = {Vincent Danos and J{\'e}r{\^o}me Feret and Walter Fontana and Jean Krivine},
 year         = {2007},
 title        = {Scalable Simulation of Cellular Signaling Networks},
 journal      = {Proceedings of Programming Languages and Systems: 5th Asian Symposium {APLAS}},
 pages        = {139--157},
 doi          = {10.1007/978-3-540-76637-7\_10},
)
@article(Danos2004,
 author       = {Vincent Danos and Cosimo Laneve},
 year         = {2004},
 title        = {Formal Molecular Biology},
 journal      = {Theoretical Computer Science},
 volume       = {325},
 number       = {1},
 pages        = {69--110},
 doi          = {10.1016/j.tcs.2004.03.065},
)
@book(AlgebraicGR,
 author       = {H. Ehrig and K. Ehrig and U. Prange and G. Taentzer},
 year         = {2006},
 title        = {Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)},
 publisher    = {Springer-Verlag New York, Inc.},
 address      = {Secaucus, NJ, USA},
)
@incollection(Ehrig:SPO,
 author       = {H. Ehrig and R. Heckel and M. Korff and M. L\"{o}we and L. Ribeiro and A. Wagner and A. Corradini},
 year         = {1997},
 title        = {Algebraic Approaches to Graph Transformation. Part II: Single Pushout Approach and Comparison with Double Pushout Approach},
 booktitle    = {Handbook of Graph Grammars and Computing by Graph Transformation},
 publisher    = {Springer-Verlag New York, Inc.},
 address      = {Secaucus, NJ, USA},
 pages        = {247--312},
 doi          = {10.1142/9789812384720\_0004},
 url          = {http://dl.acm.org/citation.cfm?id=278918.278930},
)
@article(bngl,
 author       = {James R. Faeder and Michael L. Blinov and William S. Hlavacek},
 year         = {2009},
 title        = {Rule-Based Modeling of Biochemical Systems with BioNetGen},
 journal      = {Systems Biology},
 pages        = {113--167},
 doi          = {10.1007/978-1-59745-525-1\_5},
)
@article(Gillespie77,
 author       = {Daniel T Gillespie},
 year         = {1977},
 title        = {Exact stochastic simulation of coupled chemical reactions},
 journal      = {The Journal of Physical Chemistry},
 volume       = {81},
 number       = {25},
 pages        = {2340--2361},
 doi          = {10.1021/j100540a008},
)
@misc(RussInfluence,
 author       = {Russ Harmer},
 year         = {2016},
 title        = {Lecture notes in Rule-based modeling},
 url          = {http://perso.ens-lyon.fr/russell.harmer/rbm.html},
)
@article(siglog,
 author       = {Jean Krivine},
 year         = {2017},
 title        = {Systems Biology},
 journal      = {ACM SIGLOG News},
 volume       = {4},
 number       = {3},
 pages        = {43--61},
 doi          = {10.1145/3129173.3129182},
)
@article(Lambers2006,
 author       = {Leen Lambers and Hartmut Ehrig and Fernando Orejas},
 year         = {2006},
 title        = {Conflict Detection for Graph Transformation with Negative Application Conditions},
 journal      = {Proceedings of Graph Transformations: Third International Conference, ICGT},
 pages        = {61--76},
 doi          = {10.1007/11841883\_6},
)
@article(montanari93,
 author       = {Ugo Montanari and Francesca Rossi},
 year         = {1993},
 title        = {Graph rewriting for a partial ordering semantics of concurrent constraint programming},
 journal      = {Theoretical Computer Science},
 volume       = {109},
 number       = {1},
 pages        = {225 -- 256},
 doi          = {10.1016/0304-3975(93)90069-6},
)