A. J. Asatryan, “Constraint Management in Database Applications via Checker Framework”, MPCS, vol. 23, pp. 12–19, May 2004.