APA (7th ed.) Citation
Bjorner, D. (1980). Abstract software specifications 1979: Copenhagen winter school. Springer.
Chicago Style (17th ed.) Citation
Bjorner, D. Abstract Software Specifications 1979: Copenhagen Winter School. Berlin: Springer, 1980.
MLA (9th ed.) Citation
Bjorner, D. Abstract Software Specifications 1979: Copenhagen Winter School. Springer, 1980.
Warning: These citations may not always be 100% accurate.