(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.).
Citação norma ChicagoB'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.
Citação norma MLAB'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.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.