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