Lanese, Ivan and Mezzina, Claudio Antares and Stefani, Jean-Bernard  Reversibility in the higher-order \(π\)-calculus.  Theoretical Computer Science, 625.  pp. 25-84.  ISSN 0304-3975      (2016)