Non-commutative topology and quantales - Coniglio, Marcelo Esteban; Miraglia Neto, Francisco (Studia Logica, 2000)