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