Winskel, G., and F. Z. Nardelli. “New-HOPLA--A Higher-Order Process Language With Name Generation”. BRICS Report Series, vol. 11, no. 21, Oct. 2004, doi:10.7146/brics.v11i21.21846.