@inproceedings(Andersen2016,
 author       = {J.L. Andersen and C. Flamm and D. Merkle and P.F. Stadler},
 year         = {2016},
 title        = {{A Software Package for Chemically Inspired Graph Transformation}},
 booktitle    = {Graph Transformation (ICGT 2016)},
 series       = {LNCS,},
 volume       = {9761},
 pages        = {73--88},
 doi          = {10.1007/978-3-319-40530-8_5},
)
@inproceedings(nbSqPO2019,
 author       = {N. Behr},
 year         = {2019},
 title        = {{Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework}},
 booktitle    = {{Proceedings of GCM 2019}},
 series       = {EPTCS},
 volume       = {309},
 pages        = {23--52},
 doi          = {10.4204/eptcs.309.2},
)
@inproceedings(bdg2016,
 author       = {N. Behr and V. Danos and I. Garnier},
 year         = {2016},
 title        = {Stochastic mechanics of graph rewriting},
 booktitle    = {Proceedings of {LICS} {'}16},
 publisher    = {{ACM} Press},
 doi          = {10.1145/2933575.2934537},
)
@article(bdg2019,
 author       = {N. Behr and V. Danos and I. Garnier},
 year         = {2020},
 title        = {{Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems}},
 journal      = {{LMCS}},
 volume       = {{16, Issue 3}},
 url          = {https://lmcs.episciences.org/6628},
)
@article(bddlp2018,
 author       = {N. Behr and G. Dattoli and G{\'e}rard H.E. Duchamp and S. Licciardi and K.A. Penson},
 year         = {2019},
 title        = {{Operational Methods in the Study of Sobolev-Jacobi Polynomials}},
 journal      = {{Mathematics}},
 volume       = {7},
 number       = {2},
 pages        = {124},
 doi          = {10.3390/math7020124},
)
@article(behrRaSiR,
 author       = {N. Behr and J. Krivine},
 year         = {2019},
 title        = {{Compositionality of Rewriting Rules with Conditions}},
 journal      = {\href{https://arxiv.org/abs/1904.09322}{arXiv:1904.09322}},
)
@inproceedings(BK2020,
 author       = {N. Behr and J. Krivine},
 year         = {2020},
 title        = {{Rewriting theory for the life sciences: A unifying framework for CTMC semantics}},
 booktitle    = {Graph Transformation (ICGT 2020)},
 series       = {LNCS},
 volume       = {12150},
 doi          = {10.1007/978-3-030-51372-6},
)
@inproceedings(behr2020commutators,
 author       = {N. Behr and R. Heckel and Ghaffari Saadat, M.},
 year         = {2020},
 title        = {Efficient Computation of Graph Overlaps for Rule Composition: Theory and Z3 Prototyping},
 booktitle    = {Proceedings of GCM 2020},
 series       = {EPTCS},
 volume       = {330},
 pages        = {126--144},
 doi          = {10.4204/EPTCS.330.8},
)
@inproceedings(bp2018,
 author       = {N. Behr and P. Sobocinski},
 year         = {2018},
 title        = {{Rule Algebras for Adhesive Categories}},
 booktitle    = {Proceedings of CSL 2018},
 series       = {LIPIcs},
 volume       = {119},
 pages        = {11:1--11:21},
 doi          = {10.4230/LIPIcs.CSL.2018.11},
)
@article(bp2019-ext,
 author       = {N. Behr and P. Sobocinski},
 year         = {2020},
 title        = {{Rule Algebras for Adhesive Categories (extended journal version)}},
 journal      = {{LMCS}},
 volume       = {{Volume 16, Issue 3}},
 url          = {https://lmcs.episciences.org/6615},
)
@book(bergeron1997,
 author       = {F. Bergeron and G. Labelle and P. Leroux},
 year         = {1997},
 title        = {{Combinatorial Species and Tree-like Structures}},
 series       = {Encyclopedia of Mathematics and its Applications},
 doi          = {10.1017/CBO9781107325913},
)
@article(bergeron2013introduction,
 author       = {F. Bergeron and G. Labelle and P. Leroux},
 year         = {2013},
 title        = {Introduction to the Theory of Species of Structures},
 url          = {http://bergeron.math.uqam.ca/wp-content/uploads/2013/11/book.pdf},
)
@article(Boutillier:2018aa,
 author       = {P. Boutillier and M. Maasha and X. Li and Medina-Abarca, H.F. and J. Krivine and J. Feret and I. Cristescu and A.G .Forbes and W. Fontana},
 year         = {2018},
 title        = {{The Kappa platform for rule-based modeling}},
 journal      = {Bioinformatics},
 volume       = {34},
 number       = {13},
 pages        = {i583--i592},
 doi          = {10.1093/bioinformatics/bty272},
)
@article(Braatz:2010aa,
 author       = {B. Braatz and H. Ehrig and K. Gabriel and U. Golas},
 year         = {2014},
 title        = {{Finitary $\mathcal{M}$ -adhesive categories}},
 journal      = {MSCS},
 volume       = {24},
 number       = {4},
 pages        = {240403--240443},
 doi          = {10.1017/S0960129512000321},
)
@inproceedings(Corradini2006,
 author       = {A. Corradini and T. Heindel and F. Hermann and B. K\"{o}nig},
 year         = {2006},
 title        = {{Sesqui-Pushout Rewriting}},
 booktitle    = {Graph Transformations (ICGT 2006)},
 series       = {LNCS},
 volume       = {4178},
 pages        = {30--45},
 doi          = {10.1007/11841883_4},
)
@incollection(Danos2014,
 author       = {V. Danos and R. Heckel and P. Sobocinski},
 year         = {2014},
 title        = {{Transformation and Refinement of Rigid Structures}},
 booktitle    = {Graph Transformation (ICGT 2014)},
 series       = {LNCS},
 volume       = {8571},
 pages        = {146--160},
 doi          = {10.1007/978-3-319-09108-2_10},
)
@article(ehrig:2006aa,
 author       = {H. Ehrig and K. Ehrig and U. Prange and G. Taentzer},
 year         = {2006},
 title        = {Fundamentals of Algebraic Graph Transformation},
 journal      = {Monographs in Theoretical Computer Science. An EATCS Series},
 doi          = {10.1007/3-540-31188-2},
)
@article(ehrig2014mathcal,
 author       = {H. Ehrig and U. Golas and A. Habel and L. Lambers and F. Orejas},
 year         = {2014},
 title        = {{$\mathcal{M}$-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation}},
 journal      = {MSCS},
 volume       = {24},
 number       = {04},
 doi          = {10.1017/s0960129512000357},
)
@book(FlajoletSedgewick,
 author       = {P. Flajolet and R. Sedgewick},
 year         = {2009},
 title        = {Analytic Combinatorics},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/cbo9780511801655},
)
@article(Gillespie1977,
 author       = {D.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},
)
@article(habel2009correctness,
 author       = {A. Habel and K.-H. Pennemann},
 year         = {2009},
 title        = {Correctness of high-level transformation systems relative to nested conditions},
 journal      = {MSCS},
 volume       = {19},
 number       = {02},
 pages        = {245},
 doi          = {10.1017/s0960129508007202},
)
@article(Joyal1981,
 author       = {A. Joyal},
 year         = {1981},
 title        = {{Une th\'{e}orie combinatoire des s\'{e}ries formelles}},
 journal      = {Advances in Mathematics},
 volume       = {42},
 number       = {1},
 pages        = {1--82},
 doi          = {10.1016/0001-8708(81)90052-9},
)
@book(norris,
 author       = {J.R. Norris},
 year         = {1998},
 title        = {{Markov Chains}},
 series       = {Cambridge Series in Statistical and Probabilistic Mathematics},
 publisher    = {Cambridge University Press},
)
@article(remy1985procede,
 author       = {J.-L. R{\'e}my},
 year         = {1985},
 title        = {Un proc{\'e}d{\'e} it{\'e}ratif de d{\'e}nombrement d'arbres binaires et son application {\`a} leur g{\'e}n{\'e}ration al{\'e}atoire},
 journal      = {RAIRO. Informatique th{\'e}orique},
 volume       = {19},
 number       = {2},
 pages        = {179--195},
 doi          = {10.1051/ita/1985190201791},
)
@article(Rowland2010,
 author       = {E.S. Rowland},
 year         = {2010},
 title        = {Pattern avoidance in binary trees},
 journal      = {Journal of Combinatorial Theory, Series A},
 volume       = {117},
 number       = {6},
 pages        = {741--758},
 doi          = {10.1016/j.jcta.2010.03.004},
)