Turski,Wladyslaw M.And Maibaum,Thomas S.E. <br/><br/>
The Specification Of Computer Programs. 

 -  Addison-Wesley Publishing Company.  1987 
<br/><br/><label>Dewey Class. No.: </label>001.6425 TUR