Gian Luigi Ferrari Ugo Montanari Marco Pistore Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation. 129-158 2002 conf/fossacs/2002 FoSSaCS http://link.springer.de/link/service/series/0558/bibs/2303/23030129.htm db/conf/fossacs/fossacs2002.html#FerrariMP02