Calculabilité et décidabilité, une introduction. - Masson, 1992. - ( Manuels Informatiques Masson ).