1. Anderson, L.W., Krathwohl, D.R.: A Taxonomy for Learning, Teaching, and Assessing: A Revision of Bloom’s Taxonomy of Educational Objectives. Longman, New York (2009)
2. Berges, M., Betzendahl, J., Chugh, A., Kohlhase, M., Lohr, D., Müller, D.: Learning support systems based on mathematical knowledge managment. In: Intelligent Computer Mathematics (CICM) 2023. LNAI. Springer (2023, in press). https://url.mathhub.info/CICM23ALEA
3. Bloom, B.S., (ed.): Taxonomy of Educational Objectives: The Classification of Educational Goals: Handbook I, Cognitive Domain. Longmans, Green, New York (1956)
4. Fuller, U., et al.: Developing a computer science-specific learning taxonomy. SIGCSE Bull. 39(4), 152–170 (2007)
5. Kohlhase, M.: Mathematical knowledge management: transcending the one-brain-barrier with theory graphs. EMS Newsl., 22–27 (2014). https://kwarc.info/people/mkohlhase/papers/ems13.pdf