[17] G. Goguadze and J. Tsigler. Authoring Interactive Exercises in ActiveMath. In MathUI
Workshop at Mathematical Knowledge Management, **http://www.examat.org/**,
June 2007.

[18] G. Gonzalez. A Systematic Approach to Active and Cooperative Learning in CS1 and its Effects on CS2. *SIGCSE Bull.*, pages 133–137, 2006.

[19] T. Greening and R. Lister, editors. *Fifth Australasian Computing Education Conference*
(ACE 2003), Adelaide, Australia, 4-7 February 2003, volume 20 of *CRPIT*. Australian Computer Society, 2003.

[20] S. Grissom, D. Knox, D. Joyce, and W. Dann, editors. *Proceedings of the 34th SIGCSE*
Technical Symposium on Computer Science Education, 2003, Reno, Nevada, USA, February 19-23, 2003. ACM, 2003.

[21] M. Guzdial and E. Soloway. Teaching the Nintendo Generation to Program. *Commun.*
ACM, 45(4):17–21, 2002.

[22] D. Harel. Dynamic Logic. In D. Gabbay and F. Guenther, editors, *Handbook of Philosophical Logic Volume II - Extensions of Classical Logic*, pages 497–604. D. Reidel Publishing Company: Dordrecht, The Netherlands, 1984.

[23] J.-M. Hoc, G. T. R. G., D. Gilmore, and R. SamurÃgay, editors. ˘ *The Psychology of Programming*. Academic Press, London, 1991.

[24] E. Holohan, M. Melia, D. McMullen, and C. Pahl. The Generation of E-Learning Exercise Problems from Subject Ontologies. In *Sixth Conference International Conference on* Advanced Learning Technologies, 2006.

[25] C. D. Hundhausen, J. L. Brown, S. Farley, and D. Skarpas. A Methodology for Analyzing the Temporal Evolution of Novice Programs Based on Semantic Components. In *ICER '06:* Proceedings of the 2006 international workshop on Computing education research, pages 59–71, New York, NY, USA, 2006. ACM.

[26] T. Jenkins. The Motivation of Students of Programming. *SIGCSE Bull.*, 33(3):53–56, 2001.

[27] C. G. Johnson and U. Fuller. Is Bloom's Taxonomy Appropriate for Computer science?

In A. Berglund and M. Wiggberg, editors, Proceedings of the Sixth Baltic Sea Conference on Computing Education Research, volume 2007-006 of *Uppsala University Department of* Information Technology Technical Reports, pages 120–123. Uppsala University, February 2007.

[28] M. Kohlhase. *CodeML: An Open Markup Format the Content and Presentatation of* Program Code; the CodeML Specification. OmDoc.org, **https://svn.omdoc.org/**
repos/codeml/doc/spec/codeml.pdf, 2008.

[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.