Locales treated mostly in a covariant way / Jorge Picado and Aleš Pultr. Coimbra : Departamento de Matemática da Universidade de Coimbra, 2008