Nestmann, Uwe, and Benjamin Pierce. “Decoding Choice Encodings”. BRICS Report Series 6, no. 42 (December 12, 1999). Accessed September 20, 2019. https://tidsskrift.dk/brics/article/view/20112.