(2006). B 2007: Formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings / Jacques Julliand, Olga Kouchnarenko (eds.).
Citação norma ChicagoB 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : Proceedings / Jacques Julliand, Olga Kouchnarenko (eds.). 2006.
Citação norma MLAB 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : Proceedings / Jacques Julliand, Olga Kouchnarenko (eds.). 2006.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.