@book{561525,
	author = {Семенков, О. И.  and АН БССР, Ин-т техн. кибернетики},
	title = {Автоматизация логического проектирования дискретных устройств :},
	publisher = {ИТК, },
	year = {1980. },
	address = {Минск : }
}