Bergstra, J A <br/><br/>
Handbook of process algebra 

 - Amsterdam  Eleserier  2001 
 - xiv, 1342 p. 
<br/><br/><label>Dewey Class. No.: </label>512 H19H