J. van Oosten, “The Modified Realizability Topos”, BRICS, bd. 3, nr. 3, jan. 1996.