Olivier Ponsini Carine Fédèle Emmanuel Kounalis Rewriting of imperative programs into logical equations. 363-401 2005 56 Sci. Comput. Program. 3 http://dx.doi.org/10.1016/j.scico.2004.10.001 db/journals/scp/scp56.html#PonsiniFK05