@book{31777,
	author = {KINGSTON JEFFREY H},
	title = {ALGORITHMS AND DATA STRUCTURES DESIGN CORRECTNESS},
	publisher = {ADDISON WESLEY},
	year = {1998},
	address = {NEW YORK},
	edition = {2}
}