@book{13469623,
	author = {Соловьев, В. В.},
	title = {Проектирование конечных автоматов. Теория и практика},
	publisher = {Горячая линия - Телеком},
	year = {2024},
	address = {Москва}
}