G. Winskel and F. Z. Nardelli, “New-HOPLA--A Higher-Order Process Language with Name Generation”, BRICS, vol. 11, no. 21, Oct. 2004.