Introduction à la calculabilité - Wolper, Pierre (I.I.A., informatique, intelligence artificielle, 1991)