Teaching Theory of Programming: Methodology and Basic Notions. ITE 2008, No. 2, 016-021. https://doi.org/10.14308/ite000026.