"Approximating the Algebraic Relational Semantics of Imperative Programs."

Michael Colón (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics