A Compendium of Continuous Lattices by Gerhard Gierz & K.H. Hofmann