“Teaching Theory of Programming: Methodology and Basic Notions” (2008) Journal of Information Technologies in Education (ITE), (2), pp. 016–021. doi:10.14308/ite000026.