Approches formelles pour le développement de logiciels. Volume 26, numéro 7. - Hermes, 2007. - ( RSTI série TSI - Technique et Science Informatique ; 26).