Krzysztof R Apt & Ernst-Rudiger Olderog <br/><br/>
Verification of sequential and concurrent programs 

 - 3rd 
 - New York  Springer  2009 
 - 502p 
<br/><br/><label>ISBN: </label>9781848827448 
<br/><br/><label>Dewey Class. No.: </label>005.14 KRZ