@article(Agrawal-Karsai-Neema-Shi-Vizhanyo06a,
 author       = {Aditya Agrawal and Gabor Karsai and Sandeep Neema and Feng Shi and Attila Vizhanyo},
 year         = {2006},
 title        = {The design of a language for model transformations},
 journal      = {Software and System Modeling},
 volume       = {5},
 number       = {3},
 pages        = {261--288},
 doi          = {10.1007/s10270-006-0027-7},
)
@phdthesis(Bak15a,
 author       = {Christopher Bak},
 year         = {2015},
 title        = {{GP 2}: Efficient Implementation of a Graph Programming Language},
 school       = {Department of Computer Science, The University of York},
 url          = {http://etheses.whiterose.ac.uk/12586/},
)
@inproceedings(Bak-Faulkner-Plump-Runciman15a,
 author       = {Christopher Bak and Glyn Faulkner and Detlef Plump and Colin Runciman},
 year         = {2015},
 title        = {A Reference Interpreter for the Graph Programming Language {GP 2}},
 booktitle    = {Proc.\ Graphs as Models (GaM 2015)},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {181},
 pages        = {48--64},
 doi          = {10.4204/EPTCS.181},
)
@inproceedings(Bak-Plump16a,
 author       = {Christopher Bak and Detlef Plump},
 year         = {2016},
 title        = {Compiling Graph Programs to {C}},
 booktitle    = {Proc.\ International Conference on Graph Transformation ({ICGT 2016})},
 series       = {Lecture Notes in Computer Science},
 publisher    = {Springer},
 note         = {To appear},
)
@book(Bang_Jensen-Gutin09a,
 author       = {Bang-Jensen, J{\o}rgen and Gregory Gutin},
 year         = {2009},
 title        = {Digraphs: Theory, Algorithms and Applications},
 edition      = {second},
 publisher    = {Springer},
 doi          = {10.1007/978-1-84800-998-1},
)
@book(Cormen-Leiserson-Rivest-Stein09a,
 author       = {Thomas H. Cormen and Charles E. Leiserson and Robert L. Rivest and Clifford Stein},
 year         = {2009},
 title        = {Introduction to Algorithms},
 edition      = {third},
 publisher    = {The MIT Press},
)
@article(Duffin65a,
 author       = {R. J. Duffin},
 year         = {1965},
 title        = {Topology of Series-Parallel Networks},
 journal      = {Journal of Mathematical Analysis and Applications},
 volume       = {10},
 number       = {2},
 pages        = {303--318},
 doi          = {10.1016/0022-247X(65)90125-3},
)
@inproceedings(Fernandez-Kirchner-Mackie-Pinaud14a,
 author       = {Maribel Fern{\'a}ndez and H{\'e}l{\`e}ne Kirchner and Ian Mackie and Bruno Pinaud},
 year         = {2014},
 title        = {Visual Modelling of Complex Systems: Towards an Abstract Machine for {PORGY}},
 booktitle    = {Proc.\ Computability in Europe (CiE 2014)},
 series       = {Lecture Notes in Computer Science},
 volume       = {8493},
 publisher    = {Springer},
 pages        = {183--193},
 doi          = {10.1007/978-3-319-08019-2\_19},
)
@article(Ghamarian-deMol-Rensink-Zambon-Zimakova12a,
 author       = {Amir Hossein Ghamarian and Maarten de Mol and Arend Rensink and Eduardo Zambon and Maria Zimakova},
 year         = {2012},
 title        = {Modelling and analysis using {GROOVE}},
 journal      = {International Journal on Software Tools for Technology Transfer},
 volume       = {14},
 number       = {1},
 pages        = {15--40},
 doi          = {10.1007/s10009-011-0186-x},
)
@article(Jakumeit-Buchwald-Kroll10a,
 author       = {Edgar Jakumeit and Sebastian Buchwald and Moritz Kroll},
 year         = {2010},
 title        = {{GrGen.NET} - The expressive, convenient and fast graph rewrite system},
 journal      = {International Journal on Software Tools for Technology Transfer},
 volume       = {12},
 number       = {3--4},
 pages        = {263--271},
 doi          = {10.1007/s10009-010-0148-8},
)
@incollection(Plump05a,
 author       = {Detlef Plump},
 year         = {2005},
 title        = {Confluence of Graph Transformation Revisited},
 booktitle    = {Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to {Jan Willem Klop} on the Occasion of His 60th Birthday},
 series       = {Lecture Notes in Computer Science},
 volume       = {3838},
 publisher    = {Springer},
 pages        = {280--308},
 doi          = {10.1007/11601548},
)
@inproceedings(Plump12a,
 author       = {Detlef Plump},
 year         = {2012},
 title        = {The Design of {GP 2}},
 booktitle    = {Proc.\ Workshop on Reduction Strategies in Rewriting and Programming (WRS 2011)},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {82},
 pages        = {1--16},
 doi          = {10.4204/EPTCS.82.1},
)
@article(Poskitt-Plump12a,
 author       = {Christopher M. Poskitt and Detlef Plump},
 year         = {2012},
 title        = {{Hoare}-Style Verification of Graph Programs},
 journal      = {Fundamenta Informaticae},
 volume       = {118},
 number       = {1-2},
 pages        = {135--175},
 doi          = {10.3233/FI-2012-708},
)
@inproceedings(Poskitt-Plump14a,
 author       = {Christopher M. Poskitt and Detlef Plump},
 year         = {2014},
 title        = {Verifying Monadic Second-Order Properties of Graph Programs},
 booktitle    = {Proc.\ International Conference on Graph Transformation (ICGT 2014)},
 series       = {Lecture Notes in Computer Science},
 volume       = {8571},
 publisher    = {Springer},
 pages        = {33--48},
 doi          = {10.1007/978-3-319-09108-2\_3},
)
@inproceedings(Runge-Ermel-Taentzer11a,
 author       = {Olga Runge and Claudia Ermel and Gabriele Taentzer},
 year         = {2012},
 title        = {{AGG 2.0} --- New Features for Specifying and Analyzing Algebraic Graph Transformations},
 booktitle    = {Proc.\ Applications of Graph Transformations with Industrial Relevance (AGTIVE 2011)},
 series       = {Lecture Notes in Computer Science},
 volume       = {7233},
 publisher    = {Springer},
 pages        = {81--88},
 doi          = {10.1007/978-3-642-34176-2\_8},
)