WINSKEL, G.; NARDELLI, F. Z. New-HOPLA--A Higher-Order Process Language with Name Generation. BRICS Report Series, [S. l.], v. 11, n. 21, 2004. DOI: 10.7146/brics.v11i21.21846. Disponível em: https://tidsskrift.dk/brics/article/view/21846. Acesso em: 26 apr. 2024.