D.R. Gilbert and A.A. Letichevsky, “A universal interpreter for nondeterministic concurrent programming languages,” In Fifth Compulog network area meeting on language design and semantic analysis methods, M. Gabbrielli, Ed. September, 1996. [Online]. Available: http://trove.nla.gov.au/work/7032623.
 A. Letichevsky and D. Gilbert, “Interaction of agents and environments,” Recent trends in Algebraic Development technique, LNCS, vol. 1827, pp. 311-328, September, 2000.
 V.M. Glushkov, “The automata theory and design issues digital machines structures,” Cybernetics, vol. 1, pp. 3-11, 1965. (in Russian)
 V. M. Glushkov and A. A. Letichevsky, “Theory of algorithms and descrete processors,” Advances in Information Systems Science (J. T. Tou, Ed.), vol. 1, pp. 1-58, Plenum Press, 1969.
 M. Kwan, “The design of the ICE encryption algorithm,” In The 4th International Workshop, Fast Software Encryption - FSE '97 Proc. LNCS, vol. 1267, pp. 69-82, 1997.
 Y.V. Kapitonova and A.A. Letichevsky, The mathematical theory of digital systems, Moscow, Science, 1988, 295 p. (in Russian)
 A. Letichevsky, J. Kapitonova, A. Letichevsky Jr., V. Volkov, S. Baranov, V.Kotlyarov and T. Weigert, “Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications,” In ISSRE 2004, WITUL (Workshop on Integrated reliability with Telecommunications and UML Languages), Rennes, November, 2005, pp. 117-132.
 S. Baranov, C. Jervis, V. Kotlyarov, A. Letichevsky and T. Weigert, “Leveraging UML to deliver correct telecom applications in UML for Real,” In Design of Embedded Real-Time Systems, L.Lavagno, G. Martin and B. Selic, Eds. Kluwer Academic Publishers, 2003, pp. 323-342.
 J. Kapitonova, A. Letichevsky, V. Volkov and T. Weigert, “Validation of Embedded Systems,” In The Embedded Systems Handbook, R. Zurawski, Ed. CRC Press, Miami, 2005, pp.6-1-6-26.
 A.A.Letichevsky, J.V.Kapitonova, V.A.Volkov, A.A.Letichevsky, jr., S.N.Baranov, V.P.Kotlyarov and T.Weigert, “System Specification with Basic Protocols,” Cybernetics and System Analyses, vol. 4, 2005, pp. 3-21.
 R. Milner, A Calculus of Communicating Systems, (LNCS), vol. 92, 1980.
 R. Milner, Communication and Concurrency, Prentice Hall, 1989.
 R. Milner, “The polyadic π-calculus: a tutorial,” Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, UK, Tech. Rep. ECSLFCS91180, 1991.
 C. A. R. Hoare, “Communicating Sequential Processes,” Prentice Hall, 1985.
 J. A. Bergstra and J. W. Klop, “Process algebra for synchronous communications,” Information and Control, vol. 60 (1/3), pp. 109- 137, 1984. [OpenAIRE]