Kevin Backhouse Roland Carl Backhouse Safety of abstract interpretations for free, via logical relations and Galois connections. 153-196 2004 51 Sci. Comput. Program. 1-2 http://dx.doi.org/10.1016/j.scico.2003.06.002 db/journals/scp/scp51.html#BackhouseB04