Thiagarajan, P.S. <br/><br/>
Foundations of Software Technology and Theoretical Computer Science 

 - New York  Springer-Verlag  1995 
 - 513p. 
<br/><br/><label>ISBN: </label>9783540606925