Automata Theory for Applied Programming - L. A. Naumov; A. A. Shalyto (Second International Conference on the Problems of Controlling. Chosen Papers in Two Volumes, 2003)