TURSKI, Wladyslaw M. Maibaum, T.S.E. <br/><br/>
The specification of computer programs 
/[by] Wladyslaw M.Turski, Thomas S.E.Maibaum 
 - Wokingham  Addison-Wesley pub.  1987 
 - vii, 278 p. 
<br/><br/> Includes references and index. 
<br/><br/><label>ISBN: </label>201142260 
<br/><br/><label>Dewey Class. No.: </label>519.951  / TUR