%0 Book
%A 
%T Abstract software specifications, 1979 Copenhagen Winter School, January 22-February 2, 1979
%U /book/72137675/Abstract-software-specifications-1979-Copenhagen/