1979 Copenhagen Winter School, January 22 - February 2, 1979 : proceeding Copenhagen Winter School on Abstract Software Specifications (1979 : Technical University of Denmark) creator Bjorner, Dines ed. Commission of the European Communities text conference publication gw Berlin Springer-Verlag 1980 monographic eng 566 p. edited by D. Bjorner Sponsored by the Commission of the European Communities and others Electronic digital computers Programming Congresses QA76.6 C656 1979 951013 20260817161342.0