G. Winskel og F. Z. Nardelli, “New-HOPLA--A Higher-Order Process Language with Name Generation”, BRICS, bd. 11, nr. 21, okt. 2004.