@book{6739567,
	author = {Таванец, П.В.},
	title = {Методы логического анализа},
	publisher = {Наука},
	year = {1977},
	address = {Москва}
}