Bowman, Howard (ed) <br/><br/>
Formal methods for distributed processing : a survey of object-oriented approaches 

 - Cambridge University Press, New York  2001 
 - x,480 
<br/><br/><label>ISBN: </label>0-521-77184-6 
<br/><br/><label>Dewey Class. No.: </label>001.642 Bow/Der