1. E. Astesiano, G.F. Mascari, G. Reggio, M. Wirsing, On the parameterized algebraic specification of concurrent systems Proc. CAAP ’85, LNCS 185, Springer Verlag, 1985
2. E. Battiston, Definizione di una classe di reti di alto livello aventi per domini tipi di dati astratti Thesis, Dept. Information Sciences, University of Milano, A.A. 85/86 (in italian)
3. B. Berthomieu et al. Abstract data nets: combining Petri nets and abstract data types for high level specifications of distributed.ystems, Proc. 7th European Workshop on Applications and Theory of Petri Nets, Oxford, UK, 1986
4. G. Berthelot, Transformations and decompositions of nets Proc. Advanced Course on Petri nets, Bad Honnef, September 1986
5. R. Balzer, T. Cheatham, C. Green, Software Technology in the 1990’s Using a new Paradigm in Computer, 11.85, pp. 39–45