@book{72510,
	author = {Aiserman, Mark A.},
	title = {Logic, automata and algorithms},
	publisher = {Academic Pres,},
	year = {1971},
	series = {Mathematics in science and engineering},
	address = {New York :}
}