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