On the Equivalence Problem for Programs with Mode Switching. - Rimma I. Podlovchenko; Dmitry M. Rusakov; Vladimir A. Zakharov (CIAA, 2005)

Program Schemes with Constants. - Rimma I. Podlovchenko; Dmitry M. Rusakov (Program. Comput. Softw., 2005)

Inclusion problem in algebraic models of programs with constants. - Rimma I. Podlovchenko; Dmitry M. Rusakov (Program. Comput. Softw., 2007)

Scheme inclusion verification algorithm in algebraic model of programs with constants. - Dmitry M. Rusakov (Program. Comput. Softw., 2007)