Abstract software specification :  1979 Copenhagen Winter School, January 22 - February 2, 1979 : proceeding / 
edited by D. Bjorner 
 - Berlin :  Springer-Verlag,  1980 
 - 566 p. 
 - Lecture notes in computer science ;  no. 86 .
<br/><br/> Sponsored by the Commission of the European Communities and others 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic digital computers--Programming--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.6  / C656 1979