APA (7th ed.) Citation

International Conference of B and Z Users York, England, SpringerLink (Online service), & Bowen, J. P. (2000). ZB 2000: Formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings. Springer.

Chicago Style (17th ed.) Citation

International Conference of B and Z Users York, England, SpringerLink (Online service), and J. P. Bowen. ZB 2000: Formal Specification and Development in Z and B : First International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : Proceedings. Berlin ; New York: Springer, 2000.

MLA (9th ed.) Citation

International Conference of B and Z Users York, England, et al. ZB 2000: Formal Specification and Development in Z and B : First International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : Proceedings. Springer, 2000.