Frames and locales : topology without points - Picado, Jorge, 1963- (Birkhäuser, 2012)