1. E. Astesiano and G. Reggio. An outline of the SMolCS approach. In M. Venturini Zilli, editor, Mathematical models for the semantics of parallelism, volume 280 of Lecture Notes in Computer Science. Springer Verlag Berlin, 1987.
2. E. Battiston, F. De Cindio, and G. Mauri. OBJSA nets: a class of high-level nets having objects as domains. In G. Rozenberg, editor, Advances in Petri nets, volume 340 of Lecture Notes in Computer Science, pages 20–43. Springer Verlag Berlin, 1988.
3. J. A. Bergstra and J. W. Klop. Algebra of communicating processes. In CWI Monographs I, 1986. Proc. CWIU Symp. Math. and Comp. Sci.
4. M. Broy. Specification and top-down design of distributed systems. In H. Ehrig, C. Floyd, M. Nivat, and J. Thatcher, editors, Proc. TAPSOFT'85, volume 185 of Lecture Notes in Computer Science, pages 4–28. Springer Verlag Berlin, 1985.
5. M. Broy and T. Streicher. Modular functional modelling of Petri nets with individual tokens. Technical Report INFO-10-90-I35-450/1.-FMI, Technical University of Munich, 1992.