KOZEN,DEXTER (ED) <br/><br/>
LOGICS OF PROGRAMS: PROCEEDINGS OF WORKSHOP,1981 

 - 1 
 - BERLIN  SV  1982 
 -  429 
<br/><br/><label>ISBN: </label>NCST  174.3 
<br/><br/><label>Dewey Class. No.: </label>719