Separation in Point-Free Topology - Picado; Pultr, Ales (Springer International Publishing, 2021)