Discovery of Invariant Equalities in Programs over Data Fields. - Alexander A. Letichevsky; M. S. Lvov (Appl. Algebra Eng. Commun. Comput., 1993)

Tools for Solving Problems in the Scope of Algebraic Programming. - Y. V. Kapitonova; Alexander A. Letichevsky; Vladislav A. Volkov; M. S. Lvov (AISMC, 1994)