Hassan, A.; Mackie, I.; Sato, S. Interaction Nets: Programming Language Design and Implementation. ECEASST 2008, 10.