Shapiro, Ehud Y. <br/><br/>
Algorithmic program debugging 

 - Cambridge, Mass. :  MIT Press,  1983 
 - 232 p. 
 - ACM distinguished dissertations .
<br/><br/>Thesis (Ph.D.) - Yale University, 1982 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Prolog (Computer program language)<br/>Debugging in computer science
<br/><br/><label>LC Class. No.: </label>QA76.6  / S49