Ales Pultr

Frames and Locales
Mathematical Foundations of Computer Science 2001
Separation in Point-Free Topology