S. Brookes and S. Geva, Continuous functions and parallel algorithms on concrete data structures, 1991.

M. Chen, Y. Choo, and J. Li, Crystal: Theory and pragmatics of generating eecient parallel code, Parallel Functional Languages and Compilers, c hapter 7, 1991.

P. Curien, Categorical Combinators, Sequential Algorithms and Functional Programming, Birkhh auser, 1993.

C. A. and D. S. Scott, Semantic domains, 1990.

G. Kahn and G. Plotkin, Domaines concrets. Rapport, vol.336, 1978.

C. Mauras, Alpha : un langage equationnel pour la conception et la programmation d'architectures parall eles synchrones, 1989.

B. C. Pierce, Basic Category Theory for Computer Scientists, 1991.

H. , Reduction operators in ALPHA, PARLE-92, n umber 605 in Lecture Notes in Computer Science, 1992.

E. Violard and G. Perrin, PEI: A language and its reenement calculus for parallel programming, Parallel Computing, vol.18, issue.10, pp.1167-1184, 1992.