OOSTEN, J. The Modified Realizability Topos. BRICS Report Series, v. 3, n. 3, 3 Jan. 1996.