Asatryan, A. J. “Constraint Management in Database Applications via Checker Framework”. Mathematical Problems of Computer Science, vol. 23, Dec. 2024, pp. 12-19, https://mpcs.sci.am/index.php/mpcs/article/view/582.