Benieqbal, B. Barringer, H. Pnueli, A. <br/><br/>
Temporal logic in specification /ed. by B. Benieqbal, H. barringer, A. Pnueli.   

 - Berlin  S-V  1987 
 - iv, 448p 
 - Lecture notes in computer science  398 .
<br/><br/><label>ISBN: </label>3540518037 
<br/><br/><label>Dewey Class. No.: </label>005.131  / N89