Asatryan, Armen J. “Constraint Management in Database Applications via Checker Framework”. Mathematical Problems of Computer Science 23 (December 16, 2024): 12–19. Accessed April 8, 2025. http://93.187.165.2/index.php/mpcs/article/view/582.