Frames and locales: topology without points - Picado, J.; Pultr, A. (Basel Birkhauser, 2012)
Keywords: FRAMES AND LOCALES; SPACES AND LATTICES OF OPEN SETS