Eric Lilin Transducteurs Finis d'Arbres et Tests d'Égalité. 213-232 1981 15 ITA 3 db/journals/ita/ita15.html#Lilin81