1. Un théorem de duplication pour les forêts algebriques;Arnold;J. Comput. System Sci.,1976
2. Forêts algebriques et homomorphismes inverses;Arnold;Inform. and Comput.,1978
3. Arnold, A., and Nivat, M.1977, Non deterministic program scheme, inFTC'77M. Kaprinski, Ed., SLN56, 12–21.
4. Formal computations of formal non deterministic recursive program schemes;Arnold;MST,1980
5. Arnold, A. 1977, Systemes d' equations dans les magmoı̈ des: Ensembles rationels et algebrigues, Thése d' état, Lille.