Mu S, Oliveira JN.? 2012.??Programming from Galois connections. Journal of Log. Algebraic Programming. 81:680-704.