Algebraic specification of communication protocols 
edited by S. Mauw and G.J. Veltink 
 - Cambridge  Cambridge University Press  c1993 
 - xi, 197 p. : ill. ; 26 cm 
<br/><br/> Includes bibliographical references (p. 189-192) and indexes 
<br/><br/><label>ISBN: </label>9780521418836 
<br/><br/><label>ISSN: </label>94119068 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer network protocols
<br/><br/><label>Dewey Class. No.: </label>004.62 MAU