Silva P, Visser J, Oliveira JN.? 2009.??Galois: A Language for Proofs Using Galois Connections and Fork Algebras.  PLMMS'09 - ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems.