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, nᵒ 26 (décembre):61-66. https://revue.umc.edu.dz/b/article/view/235.