« VERS UN ENRICHISSEMENT DES COMPORTEMENTS DES DESIGN PATTERNS PAR LE LANGAGE DE SPECIFICATION FORMELLE LOTOS ». 2007. Sciences & Technologie. B, Sciences De l’ingénieur, nᵒ 26 (décembre): 61-66. https://revue.umc.edu.dz/b/article/view/235.