Andrei Alexandru Gabriel Ciobanu Nominal Semantics of the pi I-calculus. 331-338 2011 SYNASC http://doi.ieeecomputersociety.org/10.1109/SYNASC.2011.19 conf/synasc/2011 db/conf/synasc/synasc2011.html#AlexandruC11