Neuhold, E.J. ed. & Chroust, G. <br/><br/>
Formal models in programming 

 - Ifip, North-holland  1985 
 - pxix,425 
<br/><br/><label>ISBN: </label>0-444-87888-2 
<br/><br/><label>Dewey Class. No.: </label>001.6424 Neu/Chr