Cita APA (7a ed.)
Didier Bert, J. P. B. 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.
Cita estilo Chicago (17a ed.)
Didier Bert, Jonathan P. Bowen. 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. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Didier Bert, Jonathan P. Bowen. 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.
Precaución: Estas citas no son 100% exactas.