Yelisetty, S., Marques, J. e Dias, L. A. V. (2022) “PRE-BDC: Processo de Especificação de Banco de Dados em Sistemas Críticos”, Cadernos do IME - Série Informática. Rio de Janeiro, 46, p. 8–18. doi: 10.12957/cadinf.2021.67098.