Verified Compilation and the B Method: A Proposal and a First Appraisal. - Bartira Dantas; David Déharbe; Stephenson Galvão; Anamaria Martins Moreira; Valério Medeiros Júnior (SBMF, 2008)