Logique et complexite - Lassaigne, Richard (Collection Informatique, 1996)