Introduction to Domain Theory
cs.nott.ac.uk