J. van Oosten, “The Modified Realizability Topos”, BRICS, vol. 3, no. 3, Jan. 1996.