Separation in point-free topology / Jorge Picado, Aleš Pultr. Cham : Birkhäuser, [2021], © 2021