Handbook for Logic in Computer Science, volume 3, chapter Domain theory (1994)

by S Abramsky, A Jung