Abstract software specifications :  1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings / 
edited by D. Bj²rner. 
 - Berlin :  New York : Springer-Verlag,  1980. 
 - xi, 566 p. :  ill. ;  25 cm. 
 - Lecture notes in computer science ;   86 .
<br/><br/> Sponsored by the Commission of the European Communities and others. 
<br/><br/>Includes bibliographies. 
<br/><br/><label>ISBN: </label>0387100075 (U.S. : pbk.) 
<br/><br/><label>LCCN: </label>80-017827 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming--Congresses.
<br/><br/><label>Dewey Class. No.: </label>001.64/2