@article(jose_bacelar_almeida_tool_2008,
 author       = "Jose Bacelar Almeida and Jorge Sousa Pinto and Miguel Vilaca",
 year         = "2008",
 title        = "A tool for programming with interaction nets",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "219",
 pages        = "83--96",
 doi          = "10.4204/EPTCS.48.7",
)
@inproceedings(DBLP:journals/corr/abs-1102-2654,
 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",
 booktitle    = "TERMGRAPH",
 pages        = "54--68",
 doi          = "10.4204/EPTCS.48.7",
)
@inproceedings(DBLP:conf/ppdp/FernandezM99,
 author       = "Maribel Fern{\'a}ndez and Ian Mackie",
 year         = "1999",
 title        = "A Calculus for Interaction Nets",
 editor       = "Gopalan Nadathur",
 booktitle    = "PPDP",
 series       = "LNCS",
 volume       = "1702",
 publisher    = "Springer",
 pages        = "170--187",
 doi          = "10.1007/10704567\_10",
)
@article(DBLP:journals/entcs/FernandezMP07,
 author       = "Maribel Fern{\'a}ndez and Ian Mackie and Jorge Sousa Pinto",
 year         = "2007",
 title        = "A Higher-Order Calculus for Graph Transformation",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "72",
 number       = "1",
 pages        = "45--58",
 doi          = "10.1017/S0960129598002679",
)
@article(DBLP:journals/corr/abs-1003-4562,
 author       = "Abubakar Hassan and Eugen Jiresch and Shinya Sato",
 year         = "2010",
 title        = "An Implementation of Nested Pattern Matching in Interaction Nets",
 journal      = "Electronic Proceedings in Theoretical Computer Science (EPTCS)",
 volume       = "21",
 pages        = "13--25",
 doi          = "10.4204/EPTCS.21.2",
)
@article(DBLP:journals/entcs/HassanMS09,
 author       = "Abubakar Hassan and Ian Mackie and Shinya Sato",
 year         = "2009",
 title        = "Compilation of Interaction Nets",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "253",
 number       = "4",
 pages        = "73--90",
 url          = "http://dx.doi.org/10.1016/j.entcs.2009.10.018",
)
@article(DBLP:journals/eceasst/HassanMS10,
 author       = "Abubakar Hassan and Ian Mackie and Shinya Sato",
 year         = "2010",
 title        = "A lightweight abstract machine for interaction nets",
 journal      = "ECEASST",
 volume       = "29",
)
@article(DBLP:journals/entcs/HassanS08,
 author       = "Abubakar Hassan and Shinya Sato",
 year         = "2008",
 title        = "Interaction Nets With Nested Pattern Matching",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "203",
 number       = "1",
 pages        = "79--92",
 url          = "http://dx.doi.org/10.1016/j.entcs.2008.03.035",
)
@misc(inets_project_site,
 title        = "The Inets Project site [Online, accessed 20-December-2011]",
 howpublished = "\url {http://gna.org/projects/inets}",
)
@misc(ICGT_full_ECEASST,
 author       = "Eugen Jiresch",
 year         = "2011",
 title        = "Realizing Impure Functions in Interaction Nets.",
 note         = "\emph {ECEASST 38}",
)
@misc(GTR_Techrep,
 author       = "Eugen Jiresch and Bernhard Gramlich",
 year         = "2011",
 title        = "Realizing Monads in Interaction Nets via Generic Typed Rules .",
 howpublished = "\url {http://www.logic.at/staff/gramlich/papers/techrep-e1852-2011-01.pdf}",
 note         = "Technical Report",
)
@inbook(klop_term_1992,
 author       = "{J.-W.} Klop",
 year         = "1992",
 title        = "Term Rewriting Systems",
 chapter      = "1",
 pages        = "2--117",
 volume       = "2",
 publisher    = "Oxford University Press",
 doi          = "10.1.1.35.425",
)
@article(lafont_interaction_1990,
 author       = "Yves Lafont",
 year         = "1990",
 title        = "Interaction Nets",
 journal      = "Proceedings, 17th {ACM} Symposium on Principles of Programming Languages (POPL'90)",
 pages        = "95--108",
 doi          = "10.1145/96709.96718",
)
@article(lafont_interaction_1997,
 author       = "Yves Lafont",
 year         = "1997",
 title        = "Interaction Combinators",
 journal      = "Information and Computation",
 volume       = "137",
 number       = "1",
 pages        = "69--101",
 doi          = "10.1006/inco.1997.2643",
)
@article(ian_mackie_yale:_1998,
 author       = "Ian Mackie",
 year         = "1998",
 title        = "{YALE:} Yet Another Lambda Evaluator Based on Interaction Nets",
 journal      = "{International Conference on Functional Programming (ICFP'98)}",
 pages        = "117--128",
 doi          = "10.1145/291251.289434",
)
@inproceedings(DBLP:conf/tamc/Mackie10,
 author       = "Ian Mackie",
 year         = "2010",
 title        = "A Visual Model of Computation",
 editor       = "Jan Kratochv\'{\i }l and Angsheng Li and Jir\'{\i } Fiala and Petr Kolman",
 booktitle    = "TAMC",
 series       = "Lecture Notes in Computer Science",
 volume       = "6108",
 publisher    = "Springer",
 pages        = "350--360",
 doi          = "10.1007/978-3-642-13562-0\_32",
)
@article(DBLP:journals/eceasst/MackiePV07,
 author       = "Ian Mackie and Jorge Sousa Pinto and Miguel Vila\c {c}a",
 year         = "2007",
 title        = "Visual Programming with Recursion Patterns in Interaction Nets",
 journal      = "ECEASST",
 volume       = "6",
 url          = "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/66",
)
@article(DBLP:journals/jfp/Niehren00,
 author       = "Joachim Niehren",
 year         = "2000",
 title        = "Uniform confluence in concurrent computation",
 journal      = "J. Funct. Program.",
 volume       = "10",
 number       = "5",
 pages        = "453--499",
 doi          = "10.1.1.140.7218",
 url          = "http://journals.cambridge.org/action/displayAbstract?aid=59755",
)