Abstract Software Specifications 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings by D. Bjorner | Menrva Books | MenrvaBooks