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