1. Amelung, M., Piotrowski, M., Rösner, D.: EduComponents: experiences in e-assessment in computer science education, vol. 38. ACM (2006)
2. Baldwin, D.: Discovery learning in computer science. In: ACM SIGCSE Bulletin, vol. 28, pp. 222–226. ACM (1996)
3. De Jong, T., Van Joolingen, W.R.: Scientific discovery learning with computer simulations of conceptual domains. Rev. Educ. Res. 68(2), 179–201 (1998)
4. Gomes, A., Mendes, A.J.: Learning to program-difficulties and solutions. In: Proceedings of the International Conference on Engineering Education–ICEE, vol. 2007 (2007)
5. Hendriks, M., Kaliszyk, C., Van Raamsdonk, F., Wiedijk, F.: Teaching logic using a state-of-the-art proof assistant. Acta Didactica Napocensia 3(2), 35–48 (2010)