1. G. BERRY, "Bottom-up Computations of Recursive Programs", R.A.I.R.O. Informatique Theorique, vol.10, no 3, mars 1976, pp 47–82.
2. G. BERRY, "Séquentialité de l'Evaluation formelle des λ-expressions", Proc. 3rd International Colloquium on Programming, Paris, march 28–30, 1978, DUNOD.
3. G. BERRY, "Calculs Optimaux des Programmes dans les Interprétations stables", Thèse de doctorat d'Etat, to appear.
4. G. BERRY, P.L. CURIEN, "Sequential Computations in Concrete Data structures", to appear.
5. G. BERRY, J.J. LEVY, "Minimal and Optimal Computations of Recursive Programs", Proc. 3rd ACM Symposium on Principles of Programming Languages, Los Angeles, jan. 1977. To appear in JACM.