Asatryan, Armen J. “Constraint Management in Database Applications via Checker Framework”. Mathematical Problems of Computer Science 23 (May 26, 2004): 12–19. Accessed September 28, 2024. http://93.187.165.2/index.php/mpcs/article/view/582.