Abstract software specifications 1979 Copenhagen winter school - Bjorner, D. (Lecture notes in computer science, 1980)