is not always sober (1981)

by P Scott Johnstone
Venue:In: Continuous Lattices, Lecture Notes in Math. 871