Nestmann, Uwe, og Benjamin C. Pierce. “Decoding Choice Encodings”. BRICS Report Series 6, no. 42 (december 12, 1999). Set december 8, 2025. https://tidsskrift.dk/brics/article/view/20112.