Dantas, B., D. Déharbe, S. Galvão, A. Martins 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." <em>Anais do XXXV Seminário Integrado de Software e Hardware,
Belém/PA, 2008</em>. SBC, 2008,  
pp.195-209.