1. Kalafate O. Planification des tâches opératoires robotiques basée sur le modèle d'acteur. PhD thesis, Université de Valenciennes, France, 1990.
2. Backus B. Can be liberated from the Von-Neumann style? A functional style and its algebra of programs. ACM 1978;21:613-–640.
3. Benbernou S, Ouriachi K. A complex task modelling. Proc IFAC Symposium. Oxford: Pergamon Press, 1991.
4. Barendregt HP. The lambda-calculus. Its syntax and semantics. Studies in Logic and the Foundations of Mathematics, Vol. 103, 1985.
5. Ouriachi K. Contribution à la spécification formelle des tâches opératoires: outils de base en vue d'une approche fonctionnelle basée, sur l'agrégation des données. PhD thesis, University of Valenciennes, France, 1991.