B. Dantas, D. Déharbe, S. Galvão, A. Moreira, and V. Medeiros Júnior.
" 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>, Belém/PA, 2008, pp. 195-209.