Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.”https://doi.org/10.1007/BFb0029990__In Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, edited by Igor Pr\rquote vara and Peter Ruzicka, 468--477. Lecture Notes in Computer Science, 1997.https://doi.org/10.1007/BFb0029990 .

Wehrheim, Heike. Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design. University of Hildesheim, Germany, 1996.

Goltz, Ursula, and Heike Wehrheim. “Modelling Causality via Action Dependencies in Branching Time Semantics.”https://doi.org/10.1016/0020-0190(96)00111-1__Inf. Process. Lett., no. 4 (1996): 179--184.https://doi.org/10.1016/0020-0190(96)00111-1 .

Goltz, Ursula, and Heike Wehrheim. “Causal Testing.”https://doi.org/10.1007/3-540-61550-4_165__In Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, edited by Wojciech Penczek and Andrzej Szalas, 394--406. Lecture Notes in Computer Science, 1996.https://doi.org/10.1007/3-540-61550-4_165 .

Rensink, Arend, and Heike Wehrheim. “Weak Sequential Composition in Process Algebras.”https://doi.org/10.1007/978-3-540-48654-1_20__In CONCUR ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, edited by Bengt Jonsson and Joachim Parrow, 226--241. Lecture Notes in Computer Science, 1994.https://doi.org/10.1007/978-3-540-48654-1_20 .

Wehrheim, Heike. “Parametric Action Refinement.” In 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, edited by Ernst-R\'22udiger Olderog, 247--266. IFIP Transactions, 1994.