Towards a Theory of Programmed Language Instruction