1. Schémas de programmes récursifs non déterministes avec appel syncrone;Arnold,1978
2. Interpretations métriques des schémas de programme;Arnold,1978
3. Formal computations of non-deterministic recursive program schemas;Arnold;Math. Systems Theory,1980
4. On algebraic semantics of polyadic recursive schemes;Astesiano,1977
5. Sharing in non-determinism;Astesiano,1979