[29] M. Kohlhase. An Open Markup Format for Mathematical Documents, Version 1.2.

Number 4180 in LNAI. Springer, http://www.omdoc.org/pubs/omdoc1.2.pdf, April 2008.

[30] M. Kuittinen and J. Sajaniemi. Teaching Roles of Variables in Elementary Programming Courses. In ITiCSE '04: Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education, pages 57–61, New York, NY,
USA, 2004. ACM.

[31] R. Lister. Objectives and Objective Assesment in CS1. In SIGCSE, pages 292–296, 2001.

[32] R. Lister and J. Leaney. First Year Programming: Let All the Flowers Bloom. In Greening and Lister [19], pages 221–230.

[3] R. Lister and J. Leaney. Introductory Programming, Criterion-referencing, and Bloom.

In Grissom et al. [20], pages 143–147.

[34] R. Lister, B. Simon, E. Thompson, J. L. Whalley, and C. Prasad. Not seeing the forest for the trees: novice programmers and the solo taxonomy. SIGCSE Bull., 38(3):118–
122, 2006.

[35] M. McCracken, V. Almstrum, D. Diaz, M. Guzdial, D. Hagan, Y. B.-D. Kolikant, C. Laxer, L. Thomas, I. Utting, and T. Wilusz. A Multi-national, Multi-institutional Study of Assessment of Programming Skills of First-year CS Students. In ITiCSE-
WGR '01: Working group reports from ITiCSE on Innovation and technology in computer science education, pages 125–180, New York, NY, USA, 2001. ACM.

[36] E. Melis, E. Andr´es, J. B¨udenbender, A. Frischauf, G. Goguadze, P. Libbrecht, M. Pollet, and C. Ullrich. Activemath: A Generic and Adaptive Web-Based Learning Environment. International Journal of Artificial Intelligence in Education, 12(4):385–407, 2001.

[37] B. Meyer, Testable, Reusable Units of Cognition. IEEE Computer, 39(4):20–24, 2006. [38] M. Pedroni and B. Meyer. The Inverted Curriculum in Practice. SIGCSE Bull.,
38(1):481–485, 2006.

[39] K. Powers, P. Gross, S. Cooper, M. McNally, K. J. Goldman, V. Proulx, and M. Carlisle. Tools for Teaching Introductory Programming: What works?  SIGCSE
Bull., 38(1):560–561, 2006.

[40] V. Robinet, G. Bisson, M. Gordon, and B. Lemaire. Searching for Student Intermediate Steps. In UM2007: Workshop On Data Mining For User Modeling, June 2007.

[41] C. K. Roy, T. Noll, B. Roy, and J. R. Cordy. Towards Automatic Verification of Erlang Programs by π -Calculus Translation. In 2006 ACM SIGPLAN Workshop on Erlang, pages 38–50. ACM, 2006.

[42] G. Smolka. Programmierung: Eine Einführung in die Informatik mit Standard ML.

Odenbourg.de, 2008.