1. volume 761 of LNCS;H. Aït-Kaci,1993
2. H.P. Barendregt. The λ-calculus, its Syntax and Semantics, volume 103 of Studies in Logic and the Foundations of Mathematics. Elsevier Science Publishers, 1984 edition, Amsterdam, 1991.
3. M. Ben-Ari. Principles of Concurrent Programming. Englewood Cliffs: Prentice Hall, 1982.
4. G. Berry. Séquentialité de l'évaluation formelle des λ-expressions. In Proc. of 3-e Colloque International sur la Programmation, Dunod, Paris 1978.
5. G. Berry and G. Boudol. The Chemical Abstract Machine. In Proc. of 20'th ACM Annual Symp. on Principles of Programming Languages, pages 81–93, ACM Press, 1993.