Wehrheim, H. (1996). Specifying reactive systems with action dependencies: modelling and hierarchical design. University of Hildesheim, Germany.

Goltz, U., &; Wehrheim, H. (1996). Modelling Causality via Action Dependencies in Branching Time Semantics. Inf. Process. Lett., (4), 179--184.https://doi.org/10.1016/0020-0190(96)00111-1 

Goltz, U., &; Wehrheim, H. (1996). Causal Testing. In W. Penczek &; A. Szalas (Eds.), Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings (pp. 394--406).https://doi.org/10.1007/3-540-61550-4_165 

Rensink, A., &; Wehrheim, H. (1994). Weak Sequential Composition in Process Algebras. In B. Jonsson &; J. Parrow (Eds.), CONCUR ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings (pp. 226--241).https://doi.org/10.1007/978-3-540-48654-1_20 

Wehrheim, H. (1994). Parametric Action Refinement. In E.-R\'22udiger Olderog (Ed.), Programming Concepts, Methods and Calculi, Proceedings of the IFIP T/W.1/W.2/W.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET ’94) San Miniato, Italy, 6-10 June, 1994 (pp. 247--266).