LONGLEYand SIMPSON. A Uniform Approach to Domain Theory in Realizability Models. Cambridge University Press (CUP), 1997, doi:10.1017/s0960129597002387.