@book{753188,
	title = {Методы  анализа машин-автоматов :},
	publisher = {Б. и.,},
	year = {1945.},
	address = {Москва :}
}