Alencar, Paulo, and Carlos José Pereira de Lucena.
" Formalização de Conceitos em Gerência de Configurações." <em>Proceedings of the 5th Brazilian Symposium on Software Engineering,
Ouro Preto/MG, 1991</em>. SBC, 1991,  
pp.75-91.