Yesin, V.I., S.G. Rassomakhin, and V.V. Vilihura. “Analysis of Formal Models for Ensuring Data Integrity and Their Applicability to Databases”. Radiotekhnika 1, no. 204 (April 9, 2021): 30–39. Accessed May 4, 2024. http://rt.nure.ua/article/view/238561.