M. Fernández & I. Mackie (1999):
A Calculus for Interaction Nets.
In: G. Nadathur: Proceedings of the International Conference on Principles and Practice of Declarative Programming (PPDP'99),
Lecture Notes in Computer Science 1702.
Springer-Verlag,
pp. 170–187,
doi:10.1007/10704567_10.
A. Hassan, I. Mackie & S. Sato (2009):
Compilation of Interaction Nets.
Electr. Notes Theor. Comput. Sci. 253(4),
pp. 73–90,
doi:10.1016/j.entcs.2009.10.018.
S.L. Peyton Jones (1987):
The Implementation of Functional Programming Languages.
Prentice-Hall International.
Y. Lafont (1990):
Interaction Nets.
In: Proceedings of the 17th ACM Symposium on Principles of Programming Languages (POPL'90).
ACM Press,
pp. 95–108,
doi:10.1145/96709.96718.
P. J. Landin (1964):
The mechanical evaluation of expressions.
Computer Journal 6,
pp. 308–320,
doi:10.1093/comjnl/6.4.308.
S. Lippi (2002):
in^2 : A Graphical Interpreter for Interaction Nets.
In: Sophie Tison: RTA,
Lecture Notes in Computer Science 2378.
Springer,
pp. 380–386,
doi:10.1007/3-540-45610-4_29.
I. Mackie (1998):
YALE: Yet Another Lambda Evaluator Based on Interaction Nets.
In: Proceedings of the 3rd ACM SIGPLAN International Conference on Functional Programming (ICFP'98).
ACM Press,
pp. 117–128,
doi:10.1145/291251.289434.
J. Sousa Pinto (2000):
Sequential and Concurrent Abstract Machines for Interaction Nets.
In: Jerzy Tiuryn: Proceedings of Foundations of Software Science and Computation Structures (FOSSACS),
Lecture Notes in Computer Science 1784.
Springer-Verlag,
pp. 267–282,
doi:10.1007/3-540-46432-8_18.