Yesin, V., Rassomakhin, S., & Vilihura, V. (2021). Analysis of formal models for ensuring data integrity and their applicability to databases. Radiotekhnika, 1(204), 30–39. https://doi.org/10.30837/rt.2021.1.204.04