Asma Louhichi Olfa Mraihi Lamia Labed Jilani Khaled Bsaïes Ali Mili Relational Methods in the Analysis of While Loops: Observations of Versatility. 242-259 2009 RelMiCS http://dx.doi.org/10.1007/978-3-642-04639-1_17 conf/RelMiCS/2009 db/conf/RelMiCS/RelMiCS2009.html#LouhichiMJBM09