Russell, Sharri. <br/><br/>
Practical programming logic 
Sharri russell. 
 - 2nd. ed. 
 - USA  John Wiley & Sons  1998 
 - x, 313p., var. p.  27cm. 
<br/><br/><label>ISBN: </label>0471321028 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal methods (Computer science)<br/>Logic programming.