Oosten, Jaap van. “The Modified Realizability Topos”. BRICS Report Series 3, no. 3 (januar 3, 1996). Set december 5, 2025. https://tidsskrift.dk/brics/article/view/19966.