Nygaard, M. and Winskel, G. (2003) “Full Abstraction for HOPLA”, BRICS Report Series, 10(42). doi: 10.7146/brics.v10i42.21814.