Reiss, Kristina, Frank Hellmich, and Joachim Thomas. “Individuelle und schulische Bedingungsfaktoren für Argumentationen und Beweise im Mathematikunterricht.”https://doi.org/10.25656/01:3938__Zeitschrift für Pädagogik 45 (2002): 51–64.https://doi.org/10.25656/01:3938 .

Hellmich, Frank, and Jens Hartmann. “Materialgebundene versus computerunterstützte Förderung räumlicher Kompetenzen in der Grundschule.” In Beiträge zum Mathematikunterricht 2002, edited by Werner Peschek, 211–14. Hild: Franzbecker, 2002.

Hellmich, Frank, Jens Hartmann, and Kristina  Reiss . “Bedingungen für das Argumentieren und Begründen im Geometrieunterricht der Sekundarstufe I.” In Beiträge zum Mathematikunterricht 2002, edited by Werner Peschek, 231–34. Hildesheim: Franzbecker, 2002.

Reiss, Kristina, Frank Hellmich, and Matthias Reiss. “Reasoning and Proof in Geometry: Prerequisites of Knowledge Acquisition in Secondary School Students.” In Proceedings of the 26th Conference of the International Group for the Psychology of Mathematics Education, edited by Anne D Cockburn and Elena Nardi, 113–20. Norwich:  University of East Anglia, 2002.

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

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

Wehrheim, Heike. “Relating State-Based and Behaviour-Oriented Subtyping.” Nord. J. Comput., no. 4 (2002): 405--435.

Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and Inheritance in CSP-OZ.”https://doi.org/10.1007/978-3-540-39656-7_15__In Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P. de Roever, 361--379. Lecture Notes in Computer Science, 2002.https://doi.org/10.1007/978-3-540-39656-7_15 .

Wehrheim, Heike. “Checking Behavioural Subtypes via Refinement.” In 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, edited by Bart Jacobs and Arend Rensink, 79--93. IFIP Conference Proceedings, 2002.

Harteis, Christian. Kompetenzfördernde Arbeitsbedingungen. Wiesbaden: Gabler, 2002.