Méthode formelles pour l'analyse statique et la compilation. Volume 30, numéro 4. - Hermes, 2011. - ( RSTI série TSI - Technique et Science Informatique ; 30).