APA Цитирование

Julliand, J., & Kouchnarenko, O. (2006). B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings. Springer e-books.

Chicago-стиль цитирования

Julliand, Jacques, and Olga Kouchnarenko. "B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings." Springer E-books 2006.

MLA-цитирование

Julliand, Jacques, and Olga Kouchnarenko. "B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings." Springer E-books, 2006.