KROGER,FRED <br/><br/>
TEMPORAL LOGIC OF PROGRAMS 

 - 1 
 - BERLIN  SV  1987 
 -  148 
<br/><br/><label>ISBN: </label>KBCS  68 
<br/><br/><label>Dewey Class. No.: </label>719