Mu, Shin-Cheng; Oliveira, José Nuno Programming from Galois connections. (English) Zbl 1257.68057 J. Log. Algebr. Program. 81, No. 6, 680-704 (2012). MSC: 68N30 06A15 18B10 PDF BibTeX XML Cite \textit{S.-C. Mu} and \textit{J. N. Oliveira}, J. Log. Algebr. Program. 81, No. 6, 680--704 (2012; Zbl 1257.68057) Full Text: DOI OpenURL
Sergey, Ilya; Midtgaard, Jan; Clarke, Dave Calculating graph algorithms for dominance and shortest path. (English) Zbl 1358.68077 Gibbons, Jeremy (ed.) et al., Mathematics of program construction. 11th international conference, MPC 2012, Madrid, Spain, June 25–27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31112-3/pbk). Lecture Notes in Computer Science 7342, 132-156 (2012). MSC: 68N30 05C85 06A15 68R10 PDF BibTeX XML Cite \textit{I. Sergey} et al., Lect. Notes Comput. Sci. 7342, 132--156 (2012; Zbl 1358.68077) Full Text: DOI Link OpenURL