TY  - BOOK
AU  - J. LAGASSE
TI  - Logique Combinatoire et Séquentielle
ER  -