Nygaard, M.; Winskel, G. HOPLA--A Higher-Order Process Language. BRICS 2002, 9.