@book{3877,
	author = {Shapiro, Ehud Y.},
	title = {Algorithmic program debugging},
	publisher = {MIT Press,},
	year = {1983},
	address = {Cambridge, Mass. :}
}