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