1. 1. ARBIB M. A. et GIVE'ON Y., Algebra Automata Information and Control, vol.12, 1968, p. 331-370.2760080164.32201
2. 2. ARNOLD A., Systèmes d'équations dans le magmoïde. Ensembles rationnels et algébriques d'arbres, Thèse d'État, Lille, 1977.
3. 3. ARNOLD A. et DAUCHET M., Bimorphismes, S-morphismes et bi-S-morphismes, Publication du Laboratoire de Calcul, n° 59, 1975.
4. 4. ARNOLD A. et DAUCHET M., Théorie des magmoïdes, Publication du Laboratoire de Calcul de Lille, 1977.0443.68053
5. 5. BOUDOL G., Langages polyadiques algébriques. Théorie des schémas de programme : sémantique de l'appel par valeur, Thèse 3e cycle, Université Paris-VII, 1975.