M. Nygaard og G. Winskel, “HOPLA--A Higher-Order Process Language”, BRICS, bd. 9, nr. 49, dec. 2002.