Tohutoro APA (7th ed.)

(1998). B'98: Recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings / Didier Bert (ed.).

Tohutoru Kātū Chicago (17th ed.)

B'98: Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, April 22-24, 1998 : Proceedings / Didier Bert (ed.). 1998.

Tohutoro MLA (9th ed.)

B'98: Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, April 22-24, 1998 : Proceedings / Didier Bert (ed.). 1998.