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.