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