1. 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.
2. 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.
3. E.Astesiano, G.Reggio, The SMoLCS approach to the formal semantics of programming languages — A tutorial introduction —, to appear in Proc. of CRAI Spring International Conference: Innovative software factories and Ada, 1986.
4. E.Astesiano, G.Reggio, M.Wirsing, Relational specifications and observational semantics, in Proc. of MFCS'86, LNCS n. 233, 1986.
5. D.Bjorner, C.B.Jones, Formal specification and software development, Prentice Hall, 1982.