M. Nygaard og G. Winskel, “Full Abstraction for HOPLA”, BRICS, bd. 10, nr. 42, dec. 2003.