1. A. Arnold. Systèmes d'équations dans le magmoide. Ensembles rationnels et algébriques d'arbres. Thèse d'Etat, Université de Lille I (1977).
2. A. Arnold and M. Dauchet. Théorie des magmoides. Publications du Laboratoire de Calcul, HS-77, Université de Lille I (1977).
3. A. Arnold and M. Nivat. Nondeterministic recursive program schemes, in “Fundamentals of Computation Theory 77” (M. Karpinski, ed.) Lecture Notes in Computer Science no. 56, Springer-Verlag (1977) 12–21.
4. A. Arnold and M. Nivat. The metric space of infinite trees. Algebraic and topological properties. Rapport IRIA-Laboratoria no. 323 (1978).
5. J. W. de Bakker. Semantics and termination of nondeterministic recursive programs, in “Automata, Languages and Programming” 3rd Colloquium, Edinburgh 1976 (S. Michaelson and R. Milner, eds) Edinburgh University Press (1976).