M. Nikitchenko, “Teaching Theory of Programming: Methodology and Basic Notions”, ITE, no. 2, pp. 016–021, May 2008.