Rasch, H., &; Wehrheim, H. (2003). Checking Consistency in UML Diagramms: Classes and State Machines. In E. Najm, U. Nestmann, &; P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings (pp. 229--243).https://doi.org/10.1007/978-3-540-39958-2_16 

Derrick, J., &; Wehrheim, H. (2003). Using Coupled Simulations in Non-atomic Refinement. In D. Bert, J. P. Bowen, S. King, &; M. A. Wald\rquote en (Eds.), ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings (pp. 127--147).https://doi.org/10.1007/3-540-44880-2_10 

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

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

Wehrheim, H. (2002). Checking Behavioural Subtypes via Refinement. In B. Jacobs &; A. Rensink (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 (pp. 79--93).

Rensink, A., &; Wehrheim, H. (2001). Process algebra with action dependencies. Acta Inf., (3), 155--234.https://doi.org/10.1007/s002360100070 

Bartetzko, D., Fischer, C., Möller, M., &; Wehrheim, H. (2001). Jass - Java with Assertions. Electr. Notes Theor. Comput. Sci., (2), 103--117.https://doi.org/10.1016/S1571-0661(04)00247-6 

Fischer, C., Olderog, E.-R., &; Wehrheim, H. (2001). A CSP View on UML-RT Structure Diagrams. In H. Hu\'73smann (Ed.), Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings (pp. 91--108).https://doi.org/10.1007/3-540-45314-8_8 

Fischer, C., &; Wehrheim, H. (2000). Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. Bulletin of the EATCS, 92--101.

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