TY  - BOOK
AU  - Bjorner,Dines
ED  - Copenhagen Winter School on Abstract Software Specifications
ED  - Commission of the European Communities
TI  - Abstract software specification: 1979 Copenhagen Winter School, January 22 - February 2, 1979 : proceeding 
AV  - QA76.6 C656 1979
PY  - 1980///
CY  - Berlin
PB  - Springer-Verlag
KW  - Electronic digital computers
KW  - Programming
KW  - Congresses
N1  - Sponsored by the Commission of the European Communities and others
ER  -