Turski,Wladyslaw.M. <br/><br/>
The specification of computer programs 

 - Newyork  Addison-Wesley 
 - x,278 
<br/><br/><label>ISBN: </label>0201142260 
<br/><br/><label>Dewey Class. No.: </label>004.43 TUR