@book{38457,
	author = {Gries, David},
	title = {Science of programming},
	year = {1981},
	address = {Delhi: Narosa.}
}