"Visual Programming with Recursion Patterns in Interaction Nets."

Ian Mackie, Jorge Sousa Pinto, Miguel Vilaça (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics