@inproceedings(MackieIC:calin,
 author       = "M. Fern{\'a}ndez and I. Mackie",
 year         = "1999",
 title        = "A Calculus for Interaction Nets",
 editor       = "G. Nadathur",
 booktitle    = "Proceedings of the International Conference on Principles and Practice of Declarative Programming ({PPDP}'99)",
 series       = "Lecture Notes in Computer Science",
 volume       = "1702",
 publisher    = "Springer-Verlag",
 pages        = "170--187",
 doi          = "10.1007/10704567\_10",
)
@article(Eval:HassanMS09,
 author       = "A. Hassan and I. Mackie and S. Sato",
 year         = "2009",
 title        = "Compilation of Interaction Nets",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "253",
 number       = "4",
 pages        = "73--90",
 doi          = "10.1016/j.entcs.2009.10.018",
)
@article(Eval:HassanMS10,
 author       = "Abubakar Hassan and Ian Mackie and Shinya Sato",
 year         = "2010",
 title        = "A lightweight abstract machine for interaction nets",
 journal      = "ECEASST",
 volume       = "29",
 url          = "http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/416",
)
@book(Peyton,
 author       = "S.L. Peyton Jones",
 year         = "1987",
 title        = "The Implementation of Functional Programming Languages",
 publisher    = "Prentice-Hall International",
)
@inproceedings(LafontY:intn,
 author       = "Y. Lafont",
 year         = "1990",
 title        = "Interaction Nets",
 booktitle    = "Proceedings of the 17th ACM Symposium on Principles of Programming Languages (POPL'90)",
 publisher    = "ACM Press",
 pages        = "95--108",
 doi          = "10.1145/96709.96718",
)
@article(Landin64,
 author       = "P. J. Landin",
 year         = "1964",
 title        = "The mechanical evaluation of expressions",
 journal      = "Computer Journal",
 volume       = "6",
 pages        = "308--320",
 doi          = "10.1093/comjnl/6.4.308",
)
@inproceedings(Eval:lippi,
 author       = "S. Lippi",
 year         = "2002",
 title        = "in${}^{2}$ : A Graphical Interpreter for Interaction Nets",
 editor       = "Sophie Tison",
 booktitle    = "RTA",
 series       = "Lecture Notes in Computer Science",
 volume       = "2378",
 publisher    = "Springer",
 pages        = "380--386",
 doi          = "10.1007/3-540-45610-4\_29",
)
@inproceedings(MackieIC:yalyal,
 author       = "I. Mackie",
 year         = "1998",
 title        = "{YALE}: Yet Another Lambda Evaluator Based on Interaction Nets",
 booktitle    = "Proceedings of the 3rd ACM SIGPLAN International Conference on Functional Programming (ICFP'98)",
 publisher    = "ACM Press",
 pages        = "117--128",
 doi          = "10.1145/291251.289434",
)
@inproceedings(PintoJS:seqcamin,
 author       = "J. Sousa Pinto",
 year         = "2000",
 title        = "Sequential and {C}oncurrent {A}bstract {M}achines for {I}nteraction {N}ets",
 editor       = "Jerzy Tiuryn",
 booktitle    = "Proceedings of Foundations of Software Science and Computation Structures (FOSSACS)",
 series       = "Lecture Notes in Computer Science",
 volume       = "1784",
 publisher    = "Springer-Verlag",
 pages        = "267--282",
 doi          = "10.1007/3-540-46432-8\_18",
)