Reiss K, Hellmich F, Thomas J. Individuelle und schulische Bedingungsfaktoren für Argumentationen und Beweise im Mathematikunterricht. Zeitschrift für Pädagogik. 2002;45:51-64. doi:10.25656/01:3938

Hellmich F, Hartmann J. Materialgebundene versus computerunterstützte Förderung räumlicher Kompetenzen in der Grundschule. In: Peschek W, ed. Beiträge zum Mathematikunterricht 2002. Franzbecker; 2002:211-214.

Hellmich F, Hartmann J, Reiss  K. Bedingungen für das Argumentieren und Begründen im Geometrieunterricht der Sekundarstufe I. In: Peschek W, ed. Beiträge zum Mathematikunterricht 2002. Franzbecker; 2002:231-234.

Reiss K, Hellmich F, Reiss M. Reasoning and proof in geometry: Prerequisites of knowledge acquisition in secondary school students. In: Cockburn AD, Nardi E, eds. Proceedings of the 26th Conference of the International Group for the Psychology of Mathematics Education.  University of East Anglia; 2002:113-120.

Hellmich F, Hartmann J. Aspekte einer Förderung räumlicher Kompetenzen im Geometrieunterricht. Ergebnisse einer Trainingsstudie mit Sonderschülerinnen und -schülern. Zentralblatt für Didaktik der Mathematik. 2002;34(2):56-61.

Hellmich F, Reiss K, Thomas J. Begründen und Beweisen in der Geometrie. Bedingungen des Wissensaufbaus bei Schülerinnen und Schülern der Sekundarstufe. Ergebnisbericht an die DFG. Carl von Ossietzky Universität Oldenburg; 2002.

Wehrheim H. Relating State-based and Behaviour-oriented Subtyping. Nord J Comput. 2002;(4):405--435.

Olderog E-R, Wehrheim H. Specification and Inheritance in CSP-OZ. In: S. de Boer F, M. Bonsangue M, Graf S, P. de Roever W, eds. Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Lecture Notes in Computer Science. ; 2002:361--379. doi:10.1007/978-3-540-39656-7_15

Wehrheim H. Checking Behavioural Subtypes via Refinement. In: Jacobs B, Rensink A, eds. Formal Methods for Open Object-Based Distributed Systems V, IFIP T/W.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands. IFIP Conference Proceedings. ; 2002:79--93.

Harteis C. Kompetenzfördernde Arbeitsbedingungen. Wiesbaden: Gabler; 2002.