Continuous lattices - Scott, Dana S. 1932- (Oxford Univ. Computing Laboratory, 1971)