@book{78046,
	author = {Скляревич, Акива Нухимович},
	title = {Рекуррентный синтез тестов проверки комбинационных автоматов / },
	publisher = {Зинатне,},
	year = {1981.},
	address = {Рига :},
	note = {В надзаг.: АН ЛатвССР, Ин-т электрон. и вычисл. техники}
}