Introduction à la calculabilité - Livre Développement logiciel et web de Pierre Wolper - Dunod