2008 Langages formels, calculabilité et complexité. Auteurs : Carton Olivier ; Perrin Dominique. Préf.