Neuhold, Erich J. <br/><br/>
Formal Description of Programming Concepts 

 - New York  Springer-Verlag  1991 
 - 507p. 
<br/><br/><label>ISBN: </label>3540539611