Logique et Complexité, Hermès 1995, 329 pages, ISBN 2-86601-496-0