@book{5005186,
	author = {Савельев, А.Я.},
	title = {Прикладная теория цифровых автоматов},
	publisher = {Высш. школа},
	year = {1987},
	address = {М.}
}