Formal models and semantics / 
edited by Jan van Leeuwen. 
 - Amsterdam :  Elsevier,  1990. 
 - 2 vols. 
 - Handbook of theoretical computer science ; vol. B .
<br/><br/>
<br/><br/><label>ISBN: </label>0444880755 (Set) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.