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