Domains and lambda-calculi - Amadio, Roberto M. (Cambridge tracts in theoretical computer science, 1998)