Algorithmes d'équivalence et de réduction à des expressions minimales dans une classe d'équations récursives simples — Jean Vuillemin, Bruno Courcelle, Gilles Kahn