Oosten, J. van. The Modified Realizability Topos. BRICS 1996, 3.