Rathray, C <br/><br/>
Specification and verification of concurrent systems. 
by C. Rathray 
 - London  Springer-Verlag  1990 
 - viii, 612p. 
 - Workshop in computing   .
<br/><br/><label>ISBN: </label>3540195815 
<br/><br/><label>Dewey Class. No.: </label>005.42  / N903