Galois connections and applications - Denecke,K, et al (2004)