Bowman,Howard <br/><br/>
Formal methods for distributed processing;a survey of object -oriented approache / 
Bowman,Howard. 
 - Cambridge:  Cambridge University Press,  2001. 
 - vii,480p;26cm 
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>0521771846 
<br/><br/><label>Dewey Class. No.: </label>05.117 FOR