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