Lanese, Ivan and Mezzina, Claudio Antares and Stefani, Jean-Bernard  Reversing higher-order pi.   In:  CONCUR 2010 - Concurrency Theory.   Lecture Notes in Computer Science  (6269).  Springer, pp. 478-493.  ISBN 978-3-642-15375-4      (2010)