@book{20458,
	author = {KOZEN and NO},
	title = {THE DESIGN AND ANALYSIS OF ALGORITHMS},
	publisher = {SPRINGER},
	year = {1991},
	edition = {1}
}