YESIN, V.; RASSOMAKHIN, S.; VILIHURA, V. Analysis of formal models for ensuring data integrity and their applicability to databases. Radiotekhnika, [S. l.], v. 1, n. 204, p. 30–39, 2021. DOI: 10.30837/rt.2021.1.204.04. Disponível em: http://rt.nure.ua/article/view/238561. Acesso em: 4 may. 2024.