(1)
Oosten, J. The Modified Realizability Topos. BRICS 1996, 3.