Apt, K.R & Olderog, E-R <br/><br/>
Verification of sequential & concurrent programs 
K.R. Apt & E-R. Olderog 
 - 2 
 - New York  Springer  1997 
 - xvii  364 
 - Graduate texts in computer science .
<br/><br/><label>ISBN: </label>0387948961 
<br/><br/><label>Dewey Class. No.: </label>18  / APT