Separation in Point-Free Topology - Picado, Jorge. (Springer International Publishing,)