1. Groupe ADJ: J. A. Goguen, J. W. Thatcher and E. G. Wagner “An initial algebra approach to the specification, correctness and implementation of abstract data types”. Current Trends in Programming Methodology, Vol. IV, R.T. Yeh (Ed.), Prentice Hall, New Jersey (1978).
2. H. Alaiwan and J. M. Toudic “Recherche des semi-flows, des verrous et des trappes dans les réseaux de Petri”. T.S.I., Vol.4, N°1 - Numero spécial réseaux de Petri, G. Memmi (Ed.), pp 103–112 (1985).
3. P. Behm and G. Memmi “Rafael: Un outil d’analyse de systèmes temps réel”. 2ème Colloque de Génie Logiciel AFCET, Nice, pp 1332 (1984).
4. F. Boussinot “Réseaux de processus avec mélange équitable: une approche du temps réél”. Thèse d’état, Université Paris V II (1981).
5. F. Boussinot, R. Martin, G. Memmi, G. Ruggiu and J. Vapné “A language for formal descriptions of real time systems”. Proc. of SAFECOMP’83–3rd IFAC/IFIP Workshop, J.A. Baylis (Ed.), Pergamon Press, Cambridge UK. (1983).