@book{12428,
	author = {Gries, David},
	title = {The science of programming},
	publisher = {Narosa},
	year = {1981},
	address = {New Delhi},
	note = {"Springer international student edition"}
}