Rocco De Nicola Michele Loreti Multiple-Labelled Transition Systems for nominal calculi and their logics. 107-143 2008 18 Mathematical Structures in Computer Science 1 http://dx.doi.org/10.1017/S0960129507006585 db/journals/mscs/mscs18.html#NicolaL08