Hassan, A.; Mackie, I.; Sato, S. A Lightweight Abstract Machine for Interaction Nets. eceasst 2010, 29.