1. Amosov, N. M. (2002). Encyclopedia of Amosov, Stalker, ISBN 966-596-801-7, 590 pp. (in Russian).
2. Leveraging UML to deliver correct telecom applications in UML for real: Design of embedded real-time systems;Baranov,2003
3. Bergstra, J. A., Ponce, A., & Smolka, S. A. (Eds.) (2001). Handbook of process Algebra. North-Holland 1342.
4. Process algebra for synchronous communications;Bergstra;Information and Control,1984
5. Cardelli, L. & Gordon, A. D. (1998). Mobile ambients. In Foundations of software science and computation structures: First international conference, FOSSACS’98. Springer-Verlag.