Continuous Lattices - Banaschewski, B. ; Hoffmann, R.-E.