« VERS UN ENRICHISSEMENT DES COMPORTEMENTS DES DESIGN PATTERNS PAR LE LANGAGE DE SPECIFICATION FORMELLE LOTOS », STB, nᵒ 26, p. 61–66, déc. 2007, Consulté le: 21 octobre 2025. [En ligne]. Disponible à: http://conferences.umc.edu.dz/b/article/view/235