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