Yelisetty, Sarasuaty, Johnny Marques, e Luiz Alberto Vieira Dias. “PRE-BDC: Processo De Especificação De Banco De Dados Em Sistemas Críticos”. Cadernos do IME - Série Informática 46 (junho 28, 2022): 8–18. Acessado maio 2, 2025. https://www.e-publicacoes.uerj.br/cadinf/article/view/67098.