1. A survey of literature on the teaching of introductory programming;Pears,2007
2. T. Nipkow, Teaching semantics with a proof assistant: no more LSD trip proofs, in: Verification, Model Checking, and Abstract Interpretation (VMCAI), pp. 24–38.
3. The role of programming paradigms in the first programming courses;Vujošević-Janičić;The Teaching of Mathematics XI,2008
4. I.E. Allen, J. Seaman, Learning on demand: online education in the United States, 2009, Technical Report, The Sloan Consortium, 2010.
5. Automatic test-based assessment of programming: a review;Douce;Journal on Educational Resources in Computing,2005