Automata Theory for Multi-Agent Systems Implementation - L. A. Naumov; A. A. Shalyto (Proceedings of International Conference Integration of Knowledge Intensive Multi-Systems: Modeling, Exploration and Engineering (KIMAS-03), 2003)