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