Abstracts software specifications: proceedings : 1979 COPENHAGEN WINTER SCHOOL, JANUARY 22 FEBRUARY 2, 1979. - Bjorner, Dines (Springer Verlag, 1980)