Domains and lambda-calculi - Amadio, Roberto M. (Cambridge University Press, 1998)