@inproceedings(Andrei-Fernandez-Kirchner-Melancon-Namet-Pinaud-2011,
 author       = "Oana Andrei and Maribel Fern{\'{a}}ndez and H{\'e}l{\`e}ne Kirchner and Guy Melan{\c {c}}on and Olivier Namet and Bruno Pinaud",
 year         = "2011",
 title        = "{PORGY}: Strategy-driven interactive transformation of graphs",
 editor       = "Rachid Echahed",
 booktitle    = "{TERMGRAPH 2011}, International Workshop on Term Graph Rewriting",
 series       = "Electronic Proceedings in Computer Science",
 volume       = "48",
 pages        = "54--68",
 doi          = "10.4204/EPTCS.48.7",
)
@incollection(Anand-Kahl-2009a,
 author       = "Christopher K. Anand and Wolfram Kahl",
 year         = "2009",
 title        = "Synthesizing and Verifying Multicore Parallelism in Categories of Nested Code Graphs",
 editor       = "Michael Alexander and William Gardner",
 booktitle    = "Process Algebra for Parallel and Distributed Processing",
 chapter      = "1",
 series       = "CRC Computational Science Series",
 volume       = "2",
 publisher    = "Chapman \& Hall",
 pages        = "3--45",
 doi          = "10.1201/9781420064872.pt1",
)
@article(Almeida-Pinto-Vilaca-2008,
 author       = "Jos{\'e} Bacelar Almeida and Jorge Sousa Pinto and Miguel Vila{\c {c}}a",
 year         = "2008",
 title        = "A Tool for Programming with Interaction Nets",
 journal      = "ENTCS",
 volume       = "219",
 pages        = "83--96",
 doi          = "10.1016/j.entcs.2008.10.036",
 note         = "Proc.~Eighth International Workshop on Rule Based Programming (RULE 2007)",
)
@article(Banach-Papadopoulos-1997,
 author       = "Richard Banach and George A. Papadopoulos",
 year         = "1997",
 title        = "A Study of Two Graph Rewriting Formalisms: Interaction Nets and {MONSTR}",
 journal      = "Journal of Programming Languages",
 volume       = "5",
 pages        = "210--231",
)
@article(CirsteaH-Faure-Fernandez-Mackie-Sinot-2007,
 author       = "Horatiu Cirstea and Germain Faure and Maribel Fern{\'a}ndez and Ian Mackie and Fran{\c {c}}ois-R{\'e}gis Sinot",
 year         = "2007",
 title        = "From Functional Programs to Interaction Nets via the Rewriting Calculus",
 journal      = "ENTCS",
 volume       = "174",
 number       = "10",
 pages        = "39--56",
 doi          = "10.1016/j.entcs.2007.02.046",
 note         = "Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006)",
)
@inproceedings(Erkoek-Launchbury-2002,
 author       = "Levent Erk{\"o}k and John Launchbury",
 year         = "2002",
 title        = "A recursive do for {Haskell}",
 editor       = "Manuel Chakravarty",
 booktitle    = "Proc.\hbox {}{} Haskell Workshop 2002",
 publisher    = "ACM Press",
 pages        = "29--37",
 doi          = "10.1145/581690.581693",
)
@misc(deFalco-2006,
 author       = "Marc de Falco",
 year         = "2006",
 title        = "Interaction Nets Laboratory",
 url          = "http://inl.sourceforge.net/",
)
@misc(INets,
 author       = "Abubakar Hassan and Eugen Jiresch",
 year         = "2012",
 title        = "Interaction Nets Programming Language",
 howpublished = "\url {https://gna.org/projects/inets/}, \url {https://gna.org/svn/?group=inets}, last accessed 2015-02-06",
 note         = "(Source code for the ``Inets'' system.)",
)
@inproceedings(Hassan-Jiresch-SatoShinya-2010,
 author       = "Abubakar Hassan and Eugen Jiresch and Shinya Sato",
 year         = "2009",
 title        = "An Implementation of Nested Pattern Matching in Interaction Nets",
 editor       = "Ian Mackie and Anamaria Martins Moreira",
 booktitle    = "Proceedings Tenth International Workshop on Rule-Based Programming, {RULE} 2009, Bras{\'{\i }}lia, Brazil, 28th June 2009.",
 series       = "{EPTCS}",
 volume       = "21",
 pages        = "13--25",
 doi          = "10.4204/EPTCS.21.2",
)
@article(Hassan-Mackie-Sato-2009,
 author       = "Abubakar Hassan and Ian Mackie and Shinya Sato",
 year         = "2009",
 title        = "Compilation of Interaction Nets",
 journal      = "ENTCS",
 volume       = "253",
 number       = "4",
 pages        = "73--90",
 doi          = "10.1016/j.entcs.2009.10.018",
 note         = "Proc.~TERMGRAPH 2009",
)
@inproceedings(Hassan-Mackie-Sato-2010,
 author       = "Abubakar Hassan and Ian Mackie and Shinya Sato",
 year         = "2010",
 title        = "A lightweight abstract machine for interaction nets",
 editor       = "Jochen K\"uster and Emilio Tuosto",
 booktitle    = "Proc.~GT-VMT 2010",
 series       = "ECEASST",
 volume       = "29",
 pages        = "9.1--9.12",
 url          = "http://journal.ub.tu-berlin.de/eceasst/article/view/416",
)
@article(Hoffmann-Plump-1991,
 author       = "Berthold Hoffmann and Detlef Plump",
 year         = "1991",
 title        = "Implementing Term Rewriting by Jungle Evaluation",
 journal      = "Informatique th\'eorique et applications/Theoretical Informatics and Applications",
 volume       = "25",
 number       = "5",
 pages        = "445--472",
)
@inproceedings(Jiresch-2014,
 author       = "Eugen Jiresch",
 year         = "2014",
 title        = "Towards a GPU-based Implementation of Interaction Nets",
 editor       = "Benedikt L{\"o}we and Glynn Winskel",
 booktitle    = "8th International Workshop on Developments in Computational Models, {DCM 2012}",
 series       = "EPTCS",
 volume       = "143",
 pages        = "41--53",
 doi          = "10.4204/EPTCS.143.4",
)
@inproceedings(Kahl-Anand-Carette-2005,
 author       = "Wolfram Kahl and Christopher Kumar Anand and Jacques Carette",
 year         = "2006",
 title        = "Control-Flow Semantics for Assembly-Level Data-Flow Graphs",
 editor       = "Wendy McCaull and Michael Winter and Ivo D{\"u}ntsch",
 booktitle    = "8th Intl.\hbox {}{} Seminar on Relational Methods in Computer Science, {RelMiCS 8, Feb.\hbox {}{} 2005}",
 series       = "LNCS",
 volume       = "3929",
 publisher    = "Springer",
 pages        = "147--160",
 doi          = "10.1007/11734673\_12",
)
@incollection(Kennaway-Klop-Sleep-deVries-1993a,
 author       = "J.R. Kennaway and J.W. Klop and M.R. Sleep and F.J. de Vries",
 year         = "1993",
 title        = "An Introduction to Term Graph Rewriting",
 editor       = "M.R. Sleep and M.J. Plasmeijer and M.C.J.D. van Eekelen",
 booktitle    = "Term Graph Rewriting: Theory and Practice",
 chapter      = "1",
 publisher    = "Wiley",
 pages        = "1--14",
)
@inproceedings(Lafont-1990,
 author       = "Yves Lafont",
 year         = "1990",
 title        = "Interaction Nets",
 booktitle    = "17th POPL",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "95--108",
 doi          = "10.1145/96709.96718",
)
@incollection(Lippi-2002,
 author       = "Sylvain Lippi",
 year         = "2002",
 title        = "in$^2$: A Graphical Interpreter for Interaction Nets",
 editor       = "Sophie Tison",
 booktitle    = "{RTA 2002}",
 series       = "LNCS",
 volume       = "2378",
 publisher    = "Springer",
 address      = "Berlin Heidelberg",
 pages        = "380--385",
 doi          = "10.1007/3-540-45610-4\_29",
)
@inproceedings(Mackie-1998,
 author       = "Ian Mackie",
 year         = "1998",
 title        = "{YALE}: Yet Another Lambda Evaluator Based on Interaction Nets",
 booktitle    = "Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming",
 series       = "ICFP '98",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "117--128",
 doi          = "10.1145/289423.289434",
)
@article(Mackie-2005,
 author       = "Ian Mackie",
 year         = "2005",
 title        = "Towards a Programming Language for Interaction Nets",
 journal      = "ENTCS",
 volume       = "127",
 number       = "5",
 pages        = "133--151",
 doi          = "10.1016/j.entcs.2005.02.015",
 note         = "Proc.~TERMGRAPH 2004",
)
@incollection(Pinto-2001RTA,
 author       = "Jorge Sousa Pinto",
 year         = "2001",
 title        = "Parallel Evaluation of Interaction Nets with {MPINE}",
 editor       = "Aart Middeldorp",
 booktitle    = "Rewriting Techniques and Applications, {RTA 2001}",
 series       = "LNCS",
 volume       = "2051",
 publisher    = "Springer",
 pages        = "353--356",
 doi          = "10.1007/3-540-45127-7\_26",
)
@inproceedings(PeytonJones-Gordon-Finne-1996,
 author       = "Simon L. Peyton Jones and Andrew Gordon and Sigbjorn Finne",
 year         = "1996",
 title        = "Concurrent Haskell",
 booktitle    = "23rd POPL",
 publisher    = "acm press",
 pages        = "295--308",
 doi          = "10.1145/237721.237794",
)
@article(Pedicini-Quaglia-2007,
 author       = "Marco Pedicini and Francesco Quaglia",
 year         = "2007",
 title        = "PELCR: Parallel Environment for Optimal Lambda-calculus Reduction",
 journal      = "ACM Trans.\hbox {}{} Computational Logic",
 volume       = "8",
 number       = "3",
 doi          = "10.1145/1243996.1243997",
)