Manna, Zohar <br/><br/>
Temporal logic of reactive and concurrent system specification   
by Zohar Manna and Amir Pruchi 
 - New York  S-V  1992 
 - xiv, 427p 
<br/><br/><label>ISBN: </label>0387976647 
<br/><br/><label>Dewey Class. No.: </label>005.1  / N92