@book{834086,
	author = {Trahtenbrot, B. A. },
	title = {Los algoritmos y la resolucion automatica de problemas /},
	publisher = {Mir,},
	year = {1977.},
	address = {M. :}
}