Systèmes formels. introduction à la logique et à la théorie des langages. - Masson, 1991. - ( Logique Mathématiques Informatique ; 6).