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