Systémes formels. Introduction á la logique et á la théorie des langages - Benzaken, Claude (Logique mathématiques informatique, 1991)