Shapiro, Ehud Y.   <br/><br/>
Algorithmic program debugging   
by Ehud Y. Shapiro 
 - cambridge  MIT press  1982 
 - xiv, 232p. 
 - ACM distinguished dissetations 1982   .
<br/><br/><label>ISBN: </label>0262192187   
<br/><br/><label>Subjects--Topical Terms: </label><br/>Program debugging
<br/><br/><label>Dewey Class. No.: </label>001.642  / SHA