Domains and Lambda-Calculi by Roberto M. Amadio & Pierre-Louis Curien