1. Podlovchenko, R.I. and Rusakov, D.M., Inclusion Problem in Algebraic Models of Programs with Constants, Programmirovanie, 2007, no. 3, pp. 3–15 [Programming Comput. Software (Engl. Transl.), 2007, vol. 33, no. 3, pp. 121–131].
2. Podlovchenko, R., Rusakov, D., and Zakharov, V., On the Equivalence Problem for Programs with Mode Switching, Lecture Notes in Computer Science, Berlin: Springer, 2006, vol. 3845, pp. 351–352.
3. Podlovchenko, R., Rusakov, D., and Zakharov, V., On the Equivalence Problem for Programs with Mode Switching, Trudy instituta sistemnogo programmirovaniya (Proc. of the Institute for System Programming), vol. 11, Ivannikov, V.P., Ed., Moscow: ISP RAN, 2006.
4. Kas’yanov, V.N. and Evstigneev, V.A., Grafy v programmirovanii: obrabotka, vizualizatsiya i primenenie (Graphs in Programming: Processing, Visualization, and Application), BKhV-Peterburg, 2003.
5. Cormen, T., Leiserson, C., Rivest, R., and Stein, K., Introduction to Algorithms, The MIT Press, 2001, 2nd ed.