## References * Roland Backhouse, Galois Connections and Fixed Point Calculus, [pdf](http://www.cs.nott.ac.uk/~rcb/G53PAL/FPandGC.pdf) * Peter Smith, University of Cambridge, The Galois Connection between Syntax and Semantics, [pdf](http://www.logicmatters.net/resources/pdfs/Galois.pdf)