Yelisetty, Sarasuaty, Johnny Marques, e Luiz Alberto Vieira Dias. 2022. “PRE-BDC: Processo De Especificação De Banco De Dados Em Sistemas Críticos”. Cadernos Do IME - Série Informática 46 (junho). Rio de Janeiro:8-18. https://doi.org/10.12957/cadinf.2021.67098.