1. K. R. Apt, E.-R. Olderog, Verification of sequential and concurrent programs, Springer-Verlag, 1991.
2. E. Csuhaj-Varju, J. Dassow, On cooperating distributed grammar systems. J. Inform. Process. Cybern. (EIK) 26 (1990) 49–63.
3. E. Csuhaj-Varju, J. Dassow, J. Kelemen, Gh. Păun, Grammar Systems. A Grammatical Approach to Distribution and Cooperation. Gordon & Breach, London, 1994.
4. J. Dassow, J. Kelemen, Cooperating distributed grammar systems: a link between formal languages and artificial intelligence. Bulletin of EATCS 45 (1991) 131–145.
5. J. Dassow, V. Mitrana, Fairness in Grammar Systems. Acta Cybernetica, submitted.