Yesin, V.I., S.G. Rassomakhin, and V.V. Vilihura. 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.