Shin-Cheng Mu, José Nuno Oliveira: Programming from Galois Connections. RAMiCS 2011: 294-313