@inproceedings(andrei:2011:inria-00563249:1,
 author       = "Oana Andrei and Maribel Fern\IeC {\'a}ndez and H\IeC {\'e}l\IeC {\`e}ne Kirchner and Guy Melan\IeC {\c c}on and Olivier Namet and Bruno Pinaud",
 year         = "2011",
 title        = "{PORGY: Strategy-Driven Interactive Transformation of Graphs}",
 editor       = "Rachid Echahed",
 booktitle    = "$6^{th}$ Int. Work. on Computing with Terms and Graphs",
 volume       = "48",
 pages        = "54--68",
 doi          = "10.4204/EPTCS.48.7",
)
@inproceedings(AndreiK08c,
 author       = "Oana Andrei and H{\'e}l{\`e}ne Kirchner",
 year         = "2009",
 title        = "{A Higher-Order Graph Calculus for Autonomic Computing}",
 booktitle    = "{Graph Theory, Computational Intelligence and Thought. Golumbic Festschrift}",
 series       = "Lecture Notes in Computer Science",
 volume       = "5420",
 publisher    = "Springer",
 pages        = "15--26",
 doi          = "10.1007/978-3-642-02029-2\_2",
)
@techreport(auber:2012:hal-00659880:1,
 author       = "David Auber and Daniel Archambault and Romain Bourqui and Antoine Lambert and Morgan Mathiaut and Patrick Mary and Maylis Delest and Jonathan Dubois and Guy M{\'e}lan{\c c}on",
 year         = "2012",
 title        = "{The Tulip 3 Framework: A Scalable Software Library for Information Visualization Applications Based on Relational Data}",
 type         = "Technical Report",
 number       = "RR-7860",
 institution  = "Inria",
)
@inproceedings(TOM-RTA07,
 author       = "Emilie Balland and Paul Brauner and Radu Kopetz and Pierre-Etienne Moreau and Antoine Reilles",
 year         = "2007",
 title        = "{Tom: Piggybacking Rewriting on Java}",
 editor       = "Franz Baader",
 booktitle    = "{RTA}",
 series       = "LNCS",
 volume       = "4533",
 publisher    = "Springer",
 pages        = "36--47",
 doi          = "10.1007/978-3-540-73449-9\_5",
)
@inproceedings(BarendregtHP:tergr,
 author       = "H.P. Barendregt and M.C.J.D. van Eekelen and J.R.W. Glauert and J. R. Kennaway and M.J. Plasmeijer and M.R. Sleep",
 year         = "1987",
 title        = "Term graph rewriting",
 booktitle    = "Proc. of PARLE, Parallel Architectures and Languages Europe",
 series       = "LNCS",
 volume       = "259-II",
 publisher    = "Springer-Verlag",
 pages        = "141--158",
 doi          = "10.1007/3-540-17945-3\_8",
)
@techreport(Barthelmann96howto,
 author       = "Klaus Barthelmann",
 year         = "1996",
 title        = "How To Construct A Hyperedge Replacement System For A Context-Free Set Of Hypergraphs",
 type         = "Technical Report",
 institution  = "Universit{\"a}t Mainz, Institut f{\"u}r Informatik",
)
@article(BorovanskyKKMR98,
 author       = "Peter Borovansk{\'y} and Claude Kirchner and H{\'e}l{\`e}ne Kirchner and Pierre-Etienne Moreau and Christophe Ringeissen",
 year         = "1998",
 title        = "An overview of {ELAN}",
 journal      = "EPTCS",
 volume       = "15",
 pages        = "55--70",
 doi          = "10.1016/S1571-0661(05)82552-6",
)
@inproceedings(BCDK-WRS09,
 author       = "Tony Bourdier and Horatiu Cirstea and Daniel J. Dougherty and H{\'e}l{\`e}ne Kirchner",
 year         = "2009",
 title        = "Extensional and Intensional Strategies",
 booktitle    = "Proc. $9^{th}$ Int. Work. on Reduction Strategies in Rewriting and Programming",
 pages        = "1--19",
 doi          = "10.4204/EPTCS.15.1",
)
@article(BKVV08,
 author       = "Martin Bravenboer and Karl Trygve Kalleberg and Rob Vermaas and Eelco Visser",
 year         = "2008",
 title        = "{Stratego/XT 0.17}. {A} Language and Toolset for Program Transformation",
 journal      = "Science of Computer Programming, Special issue on Experimental Systems and Tools",
 doi          = "10.1016/j.scico.2007.11.003",
)
@inproceedings(Corradini:handbook,
 author       = "Andrea Corradini and Ugo Montanari and Francesca Rossi and Hartmut Ehrig and Reiko Heckel and Michael L{\"o}we",
 year         = "1997",
 title        = "Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach",
 booktitle    = "Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations",
 publisher    = "World Scientific",
 pages        = "163--246",
 doi          = "10.1142/9789812384720\_0003",
)
@book(DijkstraE:selw,
 author       = "Edsger W. Dijkstra",
 year         = "1982",
 title        = "Selected writings on computing --- a personal perspective",
 series       = "Texts and monographs in computer science",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4612-5695-3",
)
@incollection(ErmelRT97,
 author       = "Claudia Ermel and Michael Rudolf and Gabriele Taentzer",
 year         = "1997",
 title        = "The {AGG} Approach: Language and Environment",
 editor       = "Hartmut Ehrig and Gregor Engels and Hans-J{\"o}rg Kreowski and Grzegorz Rozenberg",
 booktitle    = "{Handbook of Graph Grammars and Computing by Graph Transformations, Vol. 2: Applications, Languages, and Tools}",
 publisher    = "{World Scientific}",
 pages        = "551--603",
)
@inproceedings(CiE2014,
 author       = "Maribel Fernandez 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    = "{Lecture Notes in Computer Science}",
 volume       = "8493",
 publisher    = "Springer",
 pages        = "To appear",
 note         = "See also http://cie2014.inf.elte.hu/",
)
@incollection(FKN:Lopstr,
 author       = "Maribel Fern\IeC {\'a}ndez and H\IeC {\'e}l\IeC {\`e}ne Kirchner and Olivier Namet",
 year         = "2012",
 title        = "A Strategy Language for Graph Rewriting",
 editor       = "Germ\IeC {\'a}n Vidal",
 booktitle    = "Logic-Based Program Synthesis and Transformation",
 series       = "LNCS",
 volume       = "7225",
 publisher    = "Springer",
 pages        = "173--188",
 doi          = "10.1007/978-3-642-32211-2\_12",
)
@inproceedings(GeissBGHS06,
 author       = "Rubino Gei{\ss } and Gernot Veit Batz and Daniel Grund and Sebastian Hack and Adam Szalkowski",
 year         = "2006",
 title        = "{GrGen: A Fast SPO-Based Graph Rewriting Tool}",
 booktitle    = "Proc. of {ICGT}",
 series       = "LNCS",
 volume       = "4178",
 publisher    = "Springer",
 pages        = "383--397",
 doi          = "10.1007/11841883\_27",
)
@article(HabelMP01,
 author       = "Annegret Habel and J{\"u}rgen M{\"u}ller and Detlef Plump",
 year         = "2001",
 title        = "Double-pushout graph transformation revisited",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "11",
 number       = "5",
 pages        = "637--688",
 doi          = "10.1017/S0960129501003425",
)
@inproceedings(HabelA:comp,
 author       = "Annegret Habel and Detlef Plump",
 year         = "2001",
 title        = "Computational Completeness of Programming Languages Based on Graph Transformation",
 booktitle    = "Foundations of Software Science and Computation Structures, 4th Int. Conference, FOSSACS 2001, Proc.",
 series       = "LNCS",
 volume       = "2030",
 publisher    = "Springer",
 pages        = "230--245",
 url          = "http://link.springer.de/link/service/series/0558/bibs/2030/20300230.htm",
)
@inproceedings(HanusM:curry,
 author       = "M. Hanus and H. Kuchen and J.J. Moreno-Navarro",
 year         = "1995",
 title        = "Curry: A Truly Functional Logic Language",
 booktitle    = "Proc. ILPS'95 Work. on Visions for the Future of Logic Programming",
 pages        = "95--107",
)
@book(PeytonJones03,
 author       = "Simon L. Peyton Jones",
 year         = "2003",
 title        = "Haskell 98 language and libraries: the revised report",
 publisher    = "Cambridge Univ. Press",
)
@incollection(KKK08,
 author       = "Claude Kirchner and Florent Kirchner and H\'el\`ene Kirchner",
 year         = "2008",
 title        = "{Strategic Computation and Deduction}",
 editor       = "Christoph Benzm{\"u}ller and Chad E. Brown and J{\"o}rg Siekmann and Richard Statman",
 booktitle    = "{Reasoning in Simple Type Theory. Festchrift in Honour of Peter B. Andrews on His 70th Birthday}",
 series       = "Studies in Logic and the Foundations of Mathematics",
 volume       = "17",
 publisher    = "College Publications",
 pages        = "339--364",
 url          = "http://hal.inria.fr/inria-00433745",
)
@inproceedings(LafontY:intn,
 author       = "Yves Lafont",
 year         = "1990",
 title        = "Interaction Nets",
 booktitle    = "Proc. of the 17th {ACM} Symposium on Principles of Programming Languages ({POPL}'90)",
 publisher    = "ACM Press",
 pages        = "95--108",
 doi          = "10.1145/96709.96718",
)
@article(Marti-OlietMV05,
 author       = "Narciso Mart\'{\i }-Oliet and Jos{\'e} Meseguer and Alberto Verdejo",
 year         = "2005",
 title        = "Towards a Strategy Language for {Maude}",
 journal      = "EPTCS",
 volume       = "117",
 pages        = "417--441",
 doi          = "10.1016/j.entcs.2004.06.020",
)
@inproceedings(NickelNZ00,
 author       = "Ulrich Nickel and J{\"o}rg Niere and Albert Z{\"u}ndorf",
 year         = "2000",
 title        = "{The FUJABA environment}",
 booktitle    = "{ICSE}",
 pages        = "742--745",
 doi          = "10.1145/337180.337620",
)
@article(pinaud:hal-00682550,
 author       = "Bruno Pinaud and Guy Melan{\c c}on and Jonathan Dubois",
 year         = "2012",
 title        = "{PORGY: A Visual Graph Rewriting Environment for Complex Systems}",
 journal      = "{Computer Graphics Forum}",
 volume       = "31",
 number       = "3",
 pages        = "1265--1274",
 doi          = "10.1111/j.1467-8659.2012.03119.x",
)
@book(PlasmeijerR:clean,
 author       = "M. J. Plasmeijer and M. C. J. D. van Eekelen",
 year         = "1993",
 title        = "Functional Programming and Parallel Graph Rewriting",
 publisher    = "Addison-Wesley",
)
@article(PlotkinSOS,
 author       = "Gordon D. Plotkin",
 year         = "2004",
 title        = "A structural approach to operational semantics",
 journal      = "J. Log. Algebr. Program.",
 volume       = "60-61",
 pages        = "17--139",
 doi          = "10.1016/j.jlap.2004.03.009",
)
@incollection(Plump98termgraph,
 author       = "Detlef Plump",
 year         = "1998",
 title        = "Term Graph Rewriting",
 editor       = "Hartmut Ehrig and Gregor Engels and Hans-J{\"o}rg Kreowski and Grzegorz Rozenberg",
 booktitle    = "{Handbook of Graph Grammars and Computing by Graph Transformations, Vol. 2: Applications, Languages, and Tools}",
 publisher    = "{World Scientific}",
 pages        = "3--61",
)
@inproceedings(Plump09,
 author       = "Detlef Plump",
 year         = "2009",
 title        = "{The Graph Programming Language GP}",
 editor       = "Symeon Bozapalidis and George Rahonis",
 booktitle    = "{CAI}",
 series       = "LNCS",
 volume       = "5725",
 publisher    = "Springer",
 pages        = "99--122",
 doi          = "10.1007/978-3-642-03564-7\_6",
)
@inproceedings(Rensink03,
 author       = "Arend Rensink",
 year         = "2003",
 title        = "{The GROOVE Simulator: A Tool for State Space Generation}",
 booktitle    = "{AGTIVE}",
 series       = "LNCS",
 volume       = "3062",
 publisher    = "Springer",
 pages        = "479--485",
 doi          = "10.1007/978-3-540-25959-6\_40",
)
@incollection(Schurr97b,
 author       = "Andy Sch{\"u}rr and Andreas J. Winter and Albert Z{\"u}ndorf",
 year         = "1997",
 title        = "{The {PROGRES} Approach: Language and Environment.}",
 editor       = "Hartmut Ehrig and Gregor Engels and Hans-J{\"o}rg Kreowski and Grzegorz Rozenberg",
 booktitle    = "{Handbook of Graph Grammars and Computing by Graph Transformations, Vol. 2: Applications, Languages, and Tools}",
 publisher    = "{World Scientific}",
 pages        = "479--546",
 doi          = "10.1142/9789812384720\_0007",
)
@article(UllmanJ:subgip,
 author       = "J.R. Ullman",
 year         = "1976",
 title        = "An Algorithm for Subgraph Isomorphism",
 journal      = "Journal of the ACM",
 volume       = "23",
 number       = "1",
 pages        = "31--42",
 doi          = "10.1145/321921.321925",
)
@incollection(Vis01.rta,
 author       = "Eelco Visser",
 year         = "2001",
 title        = "Stratego: A Language for Program Transformation Based on Rewriting Strategies System Description of Stratego 0.5",
 editor       = "Aart Middeldorp",
 booktitle    = "Rewriting Techniques and Applications",
 series       = "Lecture Notes in Computer Science",
 volume       = "2051",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "357--361",
 doi          = "10.1007/3-540-45127-7\_27",
)