@book{54068,
	author = {Kozen, Dexter C.},
	title = {Design and analysis of algorithms},
	publisher = {Springer-Verlag},
	year = {1991},
	series = {Texts and monographs in computer science},
	address = {New York}
}