De Nicola, Rocco and Loreti, Michele  Multiple-Labelled Transition Systems for nominal calculi and their logics.  Mathematical Structures in Computer Science, 18 (1).  pp. 107-143.  ISSN 0960-1295      (2008)