Roland Carl Backhouse Pair algebras and Galois connections. 8-12 1998 conf/RelMiCS/1998 RelMiCS db/conf/RelMiCS/RelMiCS1998.html#Backhouse98