Maribel Fernández Ian Mackie A Calculus for Interaction Nets. 170-187 1999 conf/ppdp/1999 PPDP db/conf/ppdp/ppdp1999.html#FernandezM99