Realizability toposes and language semantics. - John R. Longley (1995)

A Uniform Approach to Domain Theory in Realizability Models. - John R. Longley; Alex K. Simpson (Math. Struct. Comput. Sci., 1997)