Dantas, B., 		Déharbe, D., 		Galvão, S., 		Moreira, A., & 		Medeiros Júnior, V.
(2008).
 Proposta e Avaliação de uma Abordagem de Desenvolvimento de Software Fidedigno por Construção com o Método B.
In <em>Anais do XXXV Seminário Integrado de Software e Hardware</em>, (pp. 195-209). Porto Alegre: SBC.