1. Agerwala, T., Arwind, C.: Data Flow Systems. Computer 15, 2 (1982)
2. E. Astesiano and G. Reggio: SMoLCS-driven concurrent calculi. In H. Ehrig, R. Kowalski, G. Levi, and U. Montanari, eds. Proc TAPSOFT'87, Vol 1, no 249, LNCS, 1987, pp. 169–201, Springer Verlag Berlin
3. Backus, J.: Can programming be liberated from the von-Neumann style?, a functional style and its algebra of programs. Communication of the ACM 21, 8 (1978)
4. Blum, E.K.; Ehrig, H.; Parisi-Presicce, F.: Algebraic Specification of Modules and Their Basic Interconnections, JCSS 34, 2/3 (1987), 293–339
5. Broy, M., Jähnichen, S. (eds.): KORSO: Correct Software by Formal Methods Draft Version, Univ. Bremen 1994, to appear in Springer LNCS