Teaching Theory of Programming: Methodology and Basic Notions. ITE. 2008;(2):016-021. doi:10.14308/ite000026