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