Mauw, S. <br/><br/>
Algebraic specification of communica-protocols 

 - Cambridge  CUP  1993 
 - xi, 197p.  24 cm. 
 - Cambridge tracts in theoretical computer science .
<br/><br/><label>ISBN: </label>0521418836 
<br/><br/><label>Dewey Class. No.: </label>004.62,  / D, Mau