A. Hassan, I. Mackie, and S. Sato, “A lightweight abstract machine for interaction nets”, eceasst, vol. 29, Jul. 2010.