Oosten, J. van (1996) “The Modified Realizability Topos”, BRICS Report Series, 3(3). doi: 10.7146/brics.v3i3.19966.