@book{20354,
	author = {Gries,  David},
	title = {The science of programming /}
}