Oliveira JN, Mu S.? 2011.??Programming from Galois connections. RAMiCS - 12th International Conference on Relational and Algebraic Methods in Computer Science.