Kevin Backhouse Roland Carl Backhouse Logical Relations and Galois Connections. 23-39 2002 conf/mpc/2002 MPC http://link.springer.de/link/service/series/0558/bibs/2386/23860023.htm db/conf/mpc/mpc2002.html#BackhouseB02