Neuhold, E J <br/><br/>
Formal models in programming 

 - Amsterdam  North-Holland Publishing Company  1985 
 - xix, 425 p. 
<br/><br/>   
<br/><br/><label>Subjects--Index Terms: </label>Computer programming  Computer software  Computer science  Formal models in programming