1. E. Artesiano, E. Zucca, “Parametric channels via label expressions in CCS*”, Theoretical Computer Science, vol 33, 1984.
2. B. Berthomieu, “LCS, une implantation de CCS”, 3ème Colloque C-Cube, A. Arnold Ed., Angoulème, France, September 1988.
3. B. Berthomieu, “Tagged Types — A theory of order sorted types for tagged expressions”, LAAS Technical Report 93083, March 1993.
4. B. Berthomieu, D. Giralt, J-P. Gouyon, “LCS user's manuals”, LAAS Technical Report 91226, June 1991.
5. D. Berry, R. Milner, D. N. Turner, “A semantics for ML concurrency primitives”, ACM Symposium on Principles of Programming Languages, 1992.