ZITOUNI, A. 2007. VERS UN ENRICHISSEMENT DES COMPORTEMENTS DES DESIGN PATTERNS PAR LE LANGAGE DE SPECIFICATION FORMELLE LOTOS. Sciences & Technologie. B, Sciences de l’ingénieur. 26 (déc. 2007), 61–66.