Langage Pascal et logique du premier ordre. Tome 2 : récursivité et dérécursification. Preuves et complexité d'algorithmes. - Masson, 1990. - ( Logique Mathématiques Informatique ; 4).