Continuous Lattices and Their Applications - Rudolf E. Hoffmann (Taylor and Francis, 1985)