@book{7071837,
	author = {Филинов, Е. Н.},
	title = {Проблемы автоматизации контроля логических схем},
	publisher = {Б. и.},
	year = {1977},
	series = {Институт электрон. управляющих машин. Труды Института},
	address = {Москва}
}