Copenhagen Winter School on Abstract Software Specifications (1979)

• Abstract software specifications: 1979 Copenhagen Winter School, January 22-February 2, 1979
• Abstract software specifications