@book{751297,
	author = { Левин, Виталий Ильич},
	title = {Статистический надежностный синтез автоматов /},
	publisher = {Зинатне,},
	year = {1974.},
	address = {Рига :}
}