Nikitchenko, M. Teaching Theory of Programming: Methodology and Basic Notions. ITE 2008, 016-021.