1. N. Aoumeur. Réalisation d'un Système de Gestion du Personnel de l'Université. Mémoire d'Ingenieur, Institut d'Informatique, Université D'Oran, 1989 (In French)
2. N. Aoumeur, specifying distributed and dynamically evolving information systems using an extended Co-Nets approach, In: G. Saake, K. Schwarz, C. Türker (Eds.), Transactions and Database Dynamics, volume 1773 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 2000, pp. 91–111 (selected papers from the 8th International Workshop on Foundations of Models and Languages for Data and Objects, September 1999, Germany)
3. N. Aoumeur, S. Balko, G. Saake, Towards a three-level methodology for developing cooperative information systems, in: Proc. of the 10th International Conference on Computing and Information (ICCI'2000), Kuweit, 2000, in press
4. N. Aoumeur, S. Conrad, G. Saake, Prototyping object specifications using the Co-nets approach, in: J. Desel, A. Oberweis (Eds.), Proc. Sixth Workshop Algorithmen und Werkzeuge für Petrinetze, Frankfurt/Main, October 1999, pp. 7–17
5. N. Aoumeur, G. Saake, On the specification and validation of cooperative information systems using an extended Maude, in: K. Futatsugi, J. Goguen, J. Meseguer (Eds.), Proc. of 1st Int. OBJ/CafeOBJ/Maude Workshop, at FM'99 Conference, Toulouse, France, The Theta Foundation Bucharest, Romania, 1999, pp. 197–211