I. Mackie and S. Sato, “Parallel Evaluation of Interaction Nets: Case Studies and Experiments”, eceasst, vol. 73, Apr. 2016.