@inproceedings(MackieIC:calin,
 author       = {Maribel Fern{\'a}ndez and Ian 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},
)
@inproceedings(DBLP:journals/corr/HassanMS15,
 author       = {Abubakar Hassan and Ian Mackie and Shinya Sato},
 year         = {2015},
 title        = {An Implementation Model for Interaction Nets},
 booktitle    = {Proceedings 8th International Workshop on Computing with Terms and Graphs, {TERMGRAPH} 2014, Vienna, Austria, July 13, 2014.},
 pages        = {66--80},
 doi          = {10.4204/EPTCS.183.5},
)
@inproceedings(HofmannM:typsb,
 author       = {Martin Hofmann},
 year         = {2000},
 title        = {A Type System for Bounded Space and Functional In-Place Update--Extended Abstract},
 editor       = {Gert Smolka},
 booktitle    = {Programming Languages and Systems, 9th European Symposium on Programming, {ESOP} 2000, European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {1782},
 publisher    = {Springer},
 pages        = {165--179},
 doi          = {10.1007/3-540-46425-5\_11},
)
@inproceedings(HughesP99,
 author       = {John Hughes and Lars Pareto},
 year         = {1999},
 title        = {Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded {ML} Programming},
 editor       = {Didier R{\'{e}}mi and Peter Lee},
 booktitle    = {Proceedings of the fourth {ACM} {SIGPLAN} International Conference on Functional Programming {(ICFP} '99), Paris, 1999},
 publisher    = {{ACM}},
 pages        = {70--81},
 doi          = {10.1145/317636.317785},
)
@inproceedings(LafontY:intn,
 author       = {Yves 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},
)
@book(PeytonJonesSL:impfpl,
 author       = {{Peyton Jones}, Simon L.},
 year         = {1987},
 title        = {The {I}mplementation of {F}unctional {P}rogramming Languages},
 publisher    = {Prentice Hall International},
)