1. LNCS x stands for Lecture Notes in Computer Science n. x, Springer Verlag.
2. E. Astesiano, A. Giovini, F. Mazzanti, G. Reggio, E. Zucca, The Ada challenge for new formal semantic techniques, in Ada: managing the transition, 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, 1985.
4. E. Astesiano, F. Mazzanti, G. Reggio, E. Zucca, Applying the SMoLCS specification methodology to the CNET architecture, CNET-Distributed 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, in A broad prospective of current developments, Proc. of ACM-ICS'85, North Holland, 1985.