A Compendium of Continuous Lattices (1980)

by M Mislove Lawson, D S Scott