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