Horatiu Cirstea Germain Faure Maribel Fernández Ian Mackie François-Régis Sinot From Functional Programs to Interaction Nets via the Rewriting Calculus. 39-56 2007 174 Electr. Notes Theor. Comput. Sci. 10 http://dx.doi.org/10.1016/j.entcs.2007.02.046 db/journals/entcs/entcs174.html#CirsteaFFMS07