I. Mackie, J. Sousa Pinto, and M. Vilaca, “Visual Programming with Recursion Patterns in Interaction Nets”, eceasst, vol. 6, Jun. 2007.