Abstract software specifications: copenhagen winter school: proceedings : JANUARY 22-FEBRUARY 2, 1979. - Bjorner, Dines (Lecture Notes in Computer Science ;, 1980)