Galois connections and applications by Klaus Denecke | Menrva Books