1. N. Aoumeur. Réalisation d’un Systeme de Gestion du Personnel de l’Université. Memoire d’Ingenieur, Institut d’Informatique, Université D’Oran, 1989.
2. N. Aoumeur. Towards an Object Petri Net Based Framework for Modelling and Validating Distributed Systems. To appear as Preprint, Fakultät für Informatik, Universität Magdeburg, 1999.
3. E. Battiston and F. de Cindio. Class Orientation and Inheritance in Modular Algebraic Nets. In Proc. of IEEE International Conference on Systems and Cybernetics, pages 717–723, Le Touquet, France, 1993.
4. Biberstein, O. and Buchs, D. and Guelfi, N. CO-OPN/2: A Concurrent Object-Oriented Formalism. In Proc. of Second IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems(FMOODS), pages 57–72. Chapman and Hall, March 1997.
5. M. Bettaz, M. Maouche, Soualmi, and S. Boukebeche. Protocol Specification using ECATNets. Reséaux et Informatique Répartie, 3(1):7–35, 1993.