Compendium of continuous lattices - Gierz G; Hoffmann K H; Scott D S (1980)
Keywords: Lattice theory