Conception des systèmes d'information - Patrons et spécifications formelles. Volume 12, numéro 4. - Hermes, 2007. - ( RSTI série ISI-NIS -Ingénierie des Systèmes d'Information ; 12).