@inproceedings{Naumov2004f, author = {L. A. Naumov and A. A. Shalyto}, booktitle = {Proceedings of XI All-Russian Guidance Conference "Telematics'2004"}, pages = {332-334}, title = {Automata Implementation in Object-Oriented Programs}, volume = {1}, year = {2004} }