Frames and Locales Topology without points - Picado, Jorge; Pultr, Aleš (Springer Basel, 2012)