Betz, Stefan. “Qualitätskostencontrolling auf Basis des Half-Life-Konzepts.” Betrieb und Wirtschaft 54 (2000): 749–55.

Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.” Bulletin of the EATCS, 2000, 92--101.

Wehrheim, Heike. “Data Abstraction Techniques in the Validation of CSP-OZ Specifications.”https://doi.org/10.1007/s001650070026__Formal Asp. Comput., no. 3 (2000): 147--164.https://doi.org/10.1007/s001650070026 .

Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations for Object-Oriented Formalisms.”https://doi.org/10.1007/3-540-45499-3_33__In Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, edited by Teodor Rus, 469--483. Lecture Notes in Computer Science, 2000.https://doi.org/10.1007/3-540-45499-3_33 .

Wehrheim, Heike. “Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods.”https://doi.org/10.1007/3-540-46428-X_23__In Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, edited by T. S. E. Maibaum, 334--348. Lecture Notes in Computer Science, 2000.https://doi.org/10.1007/3-540-46428-X_23 .

Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.”https://doi.org/10.1007/978-0-387-35520-7_11__In Formal Methods for Open Object-Based Distributed Systems IV, IFIF T/W.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA, edited by Scott F. Smith and Carolyn L. Talcott, 213--231. IFIP Conference Proceedings, 2000.https://doi.org/10.1007/978-0-387-35520-7_11 .

Harteis, Christian. “Beschäftigte Im Spannungsfeld Ökonomischer Und Pädagogischer Prinzipien Betrieblicher Personal-Und Organisationsentwicklungsentwicklung.” In Kompendium Weiterbildung, edited by Christian Harteis, Helmut Heid, and Susanne Kraft, 209--217. Opladen: Leske+Budrich, 2000.

Harteis, Christian, Helmut Heid, and Susanne Kraft, eds. Kompendium Weiterbildung. Opladen: Leske+Budrich, 2000.

Harteis, Christian. Berufliche Weiterbildung Heute Und Morgen: Zukünftige Kompetenzanforderungen an Bildungspersonal Und Nachwuchsrekrutierung. München: Neuer Merkur, 2000.

Blömer, Johannes. “Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices.”https://doi.org/10.1007/3-540-45022-x_22__In Automata, Languages and Programming, 248–59. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000.https://doi.org/10.1007/3-540-45022-x_22 .