A. ZITOUNI, « VERS UN ENRICHISSEMENT DES COMPORTEMENTS DES DESIGN PATTERNS PAR LE LANGAGE DE SPECIFICATION FORMELLE LOTOS », STB, nᵒ 26, p. 61–66, déc. 2007.