1. E.Astesiano, Combining an operational with an algebraic approach to the specification of concurrency, to appear in Proc. Workshop on Combining Methods (Nyborg, Denmark, 1984), also in Quaderni Cnet n.127, ETS Pisa, December 1984.
2. E. Astesiano, A. Giovini, F. Mazzanti, G. Reggio, E. Zucca, The Ada challenge for new formal semantic techniques, in Proc. of the 1986 Ada International Conference, Edinburgh, Cambridge University Press, UK, 1986.
3. E.Astesiano, G.F.Mascari, G.Reggio, M.Wirsing, On the parameterized algebraic specification of concurrent systems, Proc. CAAP '85-TAPSOFT Conference, LNCS 185 Lecture Notes in Computer Science n. 185, Springer Verlag, 1985.
4. E. Astesiano, F. Mazzanti, G. Reggio, E. Zucca, Applying the SMoLCS specification methodology to the CNET architecture, CNET — Distribute Systems on Local Network, vol 2, pp. 255–267, ETS Pisa, 1985.
5. E.Astesiano, F.Mazzanti, G.Reggio, E.Zucca, Formal specification of a concurrent architecture in a real project, Proc. of ACM-ICS'85, North Holland, 1985.