Frames and locales topology without points - Picado, Jorge; Pultr, Aleš 1938- (Springer, 2012)