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