APA (7th ed.) Citation

Copenhagen Winter School on Abstract Software Specifications, SpringerLink (Online service), Commission of the European Communities, & Bjørner, D. (1980). Abstract software specifications: 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings. New York : Springer-Verlag.

Chicago Style (17th ed.) Citation

Copenhagen Winter School on Abstract Software Specifications, SpringerLink (Online service), Commission of the European Communities, and D. Bjørner. Abstract Software Specifications: 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : Proceedings. Berlin: New York : Springer-Verlag, 1980.

MLA (9th ed.) Citation

Copenhagen Winter School on Abstract Software Specifications, et al. Abstract Software Specifications: 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : Proceedings. New York : Springer-Verlag, 1980.