1. Kalyaev, I.A., Gaiduk, A.R., and Kapustyan, S.G., Modeli i algoritmy kollektivnogo upravleniya v gruppakh robotov (Models and Algorithms of Collective Control in Groups of Robots), Moscow: FIZMATLIT, 2009.
2. Gorodetskii, V.I., Theory, models, infrastructures, and languages of the specification of command behavior of autonomous agents. Review (Part 1), Iskusstv. Intell. Prinyatie Reshenii, 2011, no. 2, pp. 19–30.
3. Novikov, D.A., Matematicheskie modeli formirovaniya i funktsionirovaniya komand (Mathematical Models of the Formation and Functioning of Commands), Moscow: FIZMATLIT, 2008.
4. Wooldridge, M.J., The logical modeling of computational multi-agent systems, PhD Thesis, Manchester, 1992.
5. Kripke, S., Semantic analysis of modal logic, Z. Mat. Logik Grundlagen Mat., 1963, no. 9, pp. 67–96.