Yesin, V., S. Rassomakhin, and V. Vilihura. “Analysis of Formal Models for Ensuring Data Integrity and Their Applicability to Databases”. Radiotekhnika, vol. 1, no. 204, Apr. 2021, pp. 30-39, doi:10.30837/rt.2021.1.204.04.