Continuous Lattices and Their Applications - 9780824773311