TY  - BOOK
AU  - Bj²rner, D.
ED  - Copenhagen Winter School on Abstract Software Specifications
ED  - Commission of the European communities.
TI  -  Abstract software specifications: 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings 
SN  - 0387100075 (U.S. : pbk.)
U1  - 001.64/2 
PY  - 1980///
CY  - Berlin
PB  - New York : Springer-Verlag
KW  - Computer programming
KW  - Congresses
N1  - Sponsored by the Commission of the European Communities and others; Includes bibliographies
ER  -