Informatique-programmation: T.2 la espécification récursive et l'analyse des algorithmes - Grégoire (Masson, 1988)