M. Nygaard and G. Winskel, “HOPLA--A Higher-Order Process Language”, BRICS, vol. 9, no. 49, Dec. 2002.