Compendium of continuous lattices - Gierz G; Hofmann K H (1980)