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