BRAUER,W <br/><br/>
LIVE DATA STRUCTURES IN LOGIC PROGRAMS: DERIVATION BY MEANS OF ABSTRACT INTERPRE 

 - BERLIN  Springer  1993 
 - VIII+220p.,24X15Cms. 
<br/><br/><label>ISBN: </label>3540566945 
<br/><br/><label>Dewey Class. No.: </label>621.38195 B825