1. T. Axford, Concurrent Programming Fundamental Techniques for Real Time and Parallel Software Design, John Wiley &: Sons, New York, 1989.
2. J. C. M. Baeten and W. P. Weijland, Process Algebra, Cambridge University Press, 1990.
3. J. A. Bergstra and J. W. Klop, “Process Algebra for Synchronous Communication”, Information and Control, 60 (1984), 109–137.
4. W. Brauer, Automatentheorie, B.G. Teubner, Stuttgart, 1984.
5. J. S. Golan, A. Mateescu and D. Vaida, “Semirings and Parallel Composition of Processes”, Journal of Automata, Languages and Combinatorics, to appear.