APA (7th ed.) Citation

International Conference of B and Z Users Turku, Finland, & Bert, D. (2003). ZB 2003: Formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings. Springer.

Chicago Style (17th ed.) Citation

International Conference of B and Z Users Turku, Finland, and Didier Bert. ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : Proceedings. Berlin ; New York: Springer, 2003.

MLA (9th ed.) Citation

International Conference of B and Z Users Turku, Finland, and Didier Bert. ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : Proceedings. Springer, 2003.