Nygaard, M. and Winskel, G. (2002) “HOPLA--A Higher-Order Process Language”, BRICS Report Series, 9(49). doi: 10.7146/brics.v9i49.21764.