Continuous Lattices And Their Applications door K.H. Hofmann & R.E. Hoffmann