Abstract software specifications: copenhagen winter school: proceedings : JANUARY 22-FEBRUARY 2, 1979.. - Bjorner, Dines (Berlin : Springer Verlag, 1980)