David Harel <br/><br/>
The Science of Computing  

 - USA  Addison Wesley   1989 
 - 352