1. E.Astesiano, G.F.Mascari, G.Reggio, M.Wirsing: On the Parameterized Algebraic Specification of Concurrent Systems, Proc. CAAP85 — TAPSOFT Conference, Springer LNCS 185, 1985
2. E.Astesiano, G.Reggio: An Outline of the SMoLCS Methodology, Mathematical Models for the Semantics of Parallelism, Springer LNCS 280, 1987
3. E.K. Blum, H. Ehrig, F. Parisi-Presicce: Algebraic Specification of Modules and Their Basic Interconnections, in JCCS Vol.34, No.2/3, pp.293–339, 1987
4. R.M.Burstall, J.A.Goguen: CAT, a System for the Structured Elaboration of Correct Programs from Structured Specifications, unpublished draft, University of Edinburgh / SRI International, March 1980
5. J.A. Bergstra, J.W. Klop: The Algebra of Recursively Defined Processes and the Algebra of Regular Processes, Report IW 235/83, Math. Centrum, Amsterdam 1983