V. Yesin, S. Rassomakhin, and V. Vilihura, “Analysis of formal models for ensuring data integrity and their applicability to databases”, RT, vol. 1, no. 204, pp. 30–39, Apr. 2021.