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