M. Nygaard and G. Winskel, “Full Abstraction for HOPLA”, BRICS, vol. 10, no. 42, Dec. 2003.