J. C. Baeten, J. A. Bergstra, and J. W. Klop, On the consistency of Koomen's Fair Abstraction Rule, Theoretical Computer Science, vol.51, issue.1-2, pp.129-176, 1987.
DOI : 10.1016/0304-3975(87)90052-1

E. Brinksma, G. Scollo, and C. Steenbergen, LOTOS Specifications, their Implementations and their Tests, Proc. Protocol Specification, Testing and Verification VI, pp.349-360, 1986.

R. Cleaveland and M. Hennessy, Testing equivalence as a bisimulation equivalence, Formal Aspects of Computing, vol.85, issue.n. 2, pp.1-20, 1993.
DOI : 10.1007/BF01211314

S. Robert-de, Calculabilité et expressivité dans l'algèbre de processus parallèles MEIJE, 1984.

H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification 1 (Equations and Initial Semantics, ETACS Monographs on Theorical Computer Science, vol.6, 1985.

M. Hennessy, Algebraic Theory of Processes. Series in the Foundations of Computing, 1988.

C. Antoine and R. Hoare, Communicating Sequential Processes, 1985.

H. Ichikawa, K. Yamanaka, and J. Kato, Incremental specifications in LOTOS, Proc. Protocol Specification, Testing and Verification X, pp.183-196, 1990.

F. Khendek and G. Von-bochmann, Incremental Construction Approach for Distributed System Specifications Département d'informatique et de recherche opérationnelle, université de Montréal, Faculté des arts et des sciences, C.P, vol.6128, 1993.

E. Donald and . Knuth, Literate programming, The Computer Journal, vol.27, issue.2, pp.97-111, 1984.

T. Lambolais, Modélisation du développement de spécifications LOTOS, 1997.

N. Lévy and J. Souquières, Modelling specification construction by successive approximations, 6th International AMAST conference, pp.351-364, 1997.
DOI : 10.1007/BFb0000482

A. Pnueli and Z. Manna, The Temporal Logic of Reactive and Concurrent Systems Specification, 1992.

J. Souquières and N. Lévy, Proplane: A specification development environment, 5th International Conference on Algebraic Methodology and Software Methodology Amast'96, 1996.
DOI : 10.1007/BFb0014355

J. Souquières and R. Darimont, La description du développement de spécifications, Technique et Science Informatiques, vol.14, issue.9, 1995.

W. Frits and . Vaandrager, Expressiveness Results for Process Algebra, Semantics: Foundations and Applications. Proceedings of the REX Workshop, 1993.

C. A. Vissers, G. Scollo, M. Van-sinderen, and E. Brinksma, Specification styles in distributed systems design and verification, Theoretical Computer Science, vol.89, issue.1, 1990.
DOI : 10.1016/0304-3975(90)90111-T

C. Vandoeuvre-lès-nancy and F. Tel, -mail: lambolai@loria.fr