Dantas, B., 		Déharbe, D., 		Galvão, S., 		Moreira, A., E 		Medeiros Júnior, V..
" Proposta e Avaliação de uma Abordagem de Desenvolvimento de Software Fidedigno por Construção com o Método B" <em>Anais do Seminário Integrado de Software e Hardware (SEMISH)</em> [Online], (12 julho 2008)