Continuous lattices and their applications - Hoffmann, Rudolf-E.; Hofmann, Karl Heinrich. (Lecture notes in pure and applied mathematics ;, 1985)