David A. Schmidt A calculus of logical relations for over- and underapproximating static analyses. 29-53 2007 64 Sci. Comput. Program. 1 https://doi.org/10.1016/j.scico.2006.03.008 db/journals/scp/scp64.html#Schmidt07