Steven Awodey Andrej Bauer Sheaf toposes for realizability. 465-478 2008 47 Arch. Math. Log. 5 http://dx.doi.org/10.1007/s00153-008-0090-6 db/journals/aml/aml47.html#AwodeyB08