Programs specification  proceedings 
ed. by J. Staunstrup 
 - New-York  Springer-Verlag  1982 
 - iv, 426p. 
 - Lecturer notes in computer science .
<br/><br/><label>ISBN: </label>0387114904 
<br/><br/><label>Dewey Class. No.: </label>005.10218  / N82;1