1. D. Buchs and N. Guelfi, A Formal Specification Framework for Object-Oriented Distributed Systems, IEEE TSE, Vol. 26, no. 7, July 2000, pp. 635–652.
2. G. Weikum, “Principles and Realization Strategies of Multilevel Transaction Management”, ACM Transactions of Database Systems, Vol 16, No 1, pp 132–180, 1991.
3. O. Biberstein, D. Buchs, and N. Guelfi. Object-oriented nets with algebraic specifications: The CO-OPN/2 formalism. In G. Agha, F. De Cindio and G. Rozenberg, editors, Advances in Petri Nets on Object-Orientation. Springer-Verlag, LNCS 2001, pp. 70–127.
4. D.Buchs and M. Buffo. Rapid prototyping of formally modelled distributed systems. In FrancesM. Titsworth, editor, Proc. of the Tenth International Workshop on Rapid System Prototyping RSP’99. IEEE, June 1999.
5. M. Buffo. Experiences in coordination programming. In Proceedings of the workshops of DEXA ‘88 (International Conference on Database and Expert Systems Applications). IEEE Computer Society, aug 1998.