Ghosh Sukumar <br/><br/>
Distributed systems 
An algorithmic approach 
 - London  CRC Press  2010 
 - 402p. 
<br/><br/><label>ISBN: </label>1584885645 
<br/><br/><label>Subjects--Index Terms: </label>Program correctness 
<br/><br/><label>Dewey Class. No.: </label>681.31.01  / GHO