Bjorner, D.  1937- <br/><br/>
Formal specification and software development / 
D. Bjorner and C. Jones. 
 - Englewood Cliffs, N. J. :  Prentice-Hall International,  1982. 
 - 501 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliographical references (p. 459-487) and index. 
<br/><br/><label>LCCN: </label>0133-290034 (hbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic digital computers--Programming.<br/>Programming languages (Electronic computers).