A. Hassan, I. Mackie, and S. Sato, “Interaction nets: programming language design and implementation”, eceasst, vol. 10, Jul. 2008.