“Teaching Theory of Programming: Methodology and Basic Notions”, ITE, no. 2, pp. 016–021, May 2008, doi: 10.14308/ite000026.