1. E. Astesiano, G. Reggio: A structural approach to the formal modelization and specification of concurrent systems. Dipartimento di Matematica, Universita di Genova 1990
2. M. Bettaz: An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication Protocols. In: H. Ehrig, K.P. Jantke, F. Orejas, H. Reichel (eds.): Recent Trends in Data Type Specification. Lecture Notes in Computer Science 534. Springer-Verlag 1991, pp. 11–30
3. M. Bettaz: On the Expressiveness of Algebraic Term Nets. 6th International Workshop on Software Specification and Design. Concurrency and Distribution Track. Como 10/1991
4. M. Bettaz, A. Choutri: Algebraic Term Nets, a Formalism for Specifying Communication Software in the OSI Framework. In: CMI Rattray, RG Clark (eds.): The Unified Computation Laboratory. Oxford University Press 1992, pp. 293–305
5. M. Bettaz, M. Maouche, M. Soualmi, M. Boukebeche: Using ECATNets for Specifying Communication Software in the OSI Framework. ICCI Conference 5/92, Torento, IEEE