Logique et automates — Patrick Bellot, Jacques Sakarovitch