@book(Bang_Jensen-Gutin09a,
 author       = "J{\o }rgen Bang-Jensen and Gregory Gutin",
 year         = "2009",
 title        = "Digraphs: Theory, Algorithms and Applications",
 edition      = "second",
 publisher    = "Springer-Verlag",
)
@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(Habel-Plump02c,
 author       = "Annegret Habel and Detlef Plump",
 year         = "2002",
 title        = "Relabelling in Graph Transformation",
 booktitle    = "Proc.\ International Conference on Graph Transformation (ICGT 2002)",
 series       = "Lecture Notes in Computer Science",
 volume       = "2505",
 publisher    = "Springer-Verlag",
 pages        = "135--147",
 doi          = "10.1007/3-540-45832-8\_12",
)
@inproceedings(Manning-Plump08b,
 author       = "Greg Manning and Detlef Plump",
 year         = "2008",
 title        = "The {GP} Programming System",
 booktitle    = "Proc.\ Graph Transformation and Visual Modelling Techniques (GT-VMT 2008)",
 series       = "Electronic Communications of the EASST",
 volume       = "10",
)
@article(Plotkin04a,
 author       = "Gordon D. Plotkin",
 year         = "2004",
 title        = "A Structural Approach to Operational Semantics",
 journal      = "Journal of Logic and Algebraic Programming",
 volume       = "60--61",
 pages        = "17--139",
 doi          = "10.1016/j.jlap.2004.05.001",
)
@incollection(Plump05a,
 author       = "Detlef Plump",
 year         = "2005",
 title        = "Confluence of Graph Transformation Revisited",
 editor       = "Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel de Vrijer",
 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-Verlag",
 pages        = "280--308",
 doi          = "10.1007/11601548",
)
@inproceedings(Plump09a,
 author       = "Detlef Plump",
 year         = "2009",
 title        = "The Graph Programming Language {GP}",
 booktitle    = "Proc.\ International Conference on Algebraic Informatics (CAI 2009)",
 series       = "Lecture Notes in Computer Science",
 volume       = "5725",
 publisher    = "Springer-Verlag",
 pages        = "99--122",
 doi          = "10.1007/978-3-642-03564-7\_6",
)
@inproceedings(Plump-Steinert10a,
 author       = "Detlef Plump and Sandra Steinert",
 year         = "2010",
 title        = "The Semantics of Graph Programs",
 booktitle    = "Proc.\ Rule-Based Programming (RULE 2009)",
 series       = "Electronic Proceedings in Theoretical Computer Science",
 volume       = "21",
 pages        = "27--38",
 doi          = "10.4204/EPTCS.21.3",
)
@article(Poskitt-Plump12a,
 author       = "Christopher M. Poskitt and Detlef Plump",
 year         = "2012",
 title        = "{Hoare}-Style Verification of Graph Programs",
 journal      = "Fundamenta Informaticae",
 note         = "To appear",
)