Introduction à la calculabilité - Wolper, Pierre. (InterÉd, 1991)