Teaching Theory of Programming: Methodology and Basic Notions. Journal of Information Technologies in Education (ITE), n. 2, p. 016–021, 7 May2008.