1. 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.
2. E.Astesiano, G.F.Mascari, G.Reggio, M.Wirsing, On the parameterized algebraic specification of concurrent systems, Proc. CAAP '85-TAPSOFT Conference, LNCS n. 185, 1985.
3. 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.
4. 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.
5. E.Astesiano, G.Reggio, A syntax-directed approach to the semantics of concurrent languages, in Proc. 10th IFIP World Congress (H.J. Kugler ed.), North Holland,p. 571–576, 1986.