@misc{Bjørner_Dines._Abstract,
 author={Bjørner, Dines.},
 howpublished={online},
 publisher={Springer-Verlag},
 language={eng},
 title={Abstract Software Specifications. 1979 Copenhagen Winter School Proceedings},
 type={book},
 type={language document},
}