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