Turski, Vladyslaw M <br/><br/>
The specification of computer programs / 
Vladyslaw M. Turski, Thomas S.E. Maibaum. 
 - Workingham :  Addison-Wesley,  c1987. 
 - x, 278 p. : ill. 
 - International computer science series .
<br/><br/> Includes appendices, references, and index 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development<br/>Electronic digital computers--Programming