A compendium of continuous lattices - Gierz, Gerhard (Springer, 1980)