Citace podle APA (7th ed.)
Didier Bert, J. P. B. ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings. Springer.
Citace podle Chicago (17th ed.)
Didier Bert, Jonathan P. Bowen. ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings. Berlín, Alemania: Springer.
Citace podle MLA (9th ed.)
Didier Bert, Jonathan P. Bowen. ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings. Springer.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..