APA (7th ed.) Citation

Bjorner, D., Hoare, C. A. R., & Langmaack, H. (1990). VDM '90: VDM and Z - formal methods in software development. Springer-Verlag.

Chicago Style (17th ed.) Citation

Bjorner, D., C. A. R. Hoare, and Hans Langmaack. VDM '90: VDM and Z - Formal Methods in Software Development. Berlin: Springer-Verlag, 1990.

MLA (9th ed.) Citation

Bjorner, D., et al. VDM '90: VDM and Z - Formal Methods in Software Development. Springer-Verlag, 1990.