Nygaard, M.; Winskel, G. Full Abstraction for HOPLA. BRICS 2003, 10.