@inproceedingsRensink_Wehrheim_1997, series=Lecture Notes in Computer Science, title=Dependency-Based Action Refinement, DOI=10.1007/BFb0029990, booktitle=Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, author=Rensink, Arend and Wehrheim, Heike, editor=Pr\rquote vara, Igor and Ruzicka, PeterEditors, year=1997, pages=468--477, collection=Lecture Notes in Computer Science 
LibreCat: /record/3259
DOI: 10.1007/BFb0029990

@bookWehrheim_1996, title=Specifying reactive systems with action dependencies: modelling and hierarchical design, publisher=University of Hildesheim, Germany, author=Wehrheim, Heike, year=1996 
LibreCat: /record/3260

@articleGoltz_Wehrheim_1996, title=Modelling Causality via Action Dependencies in Branching Time Semantics, DOI=10.1016/0020-0190(96)00111-1, number=4, journal=Inf. Process. Lett., author=Goltz, Ursula and Wehrheim, Heike, year=1996, pages=179--184 
LibreCat: /record/3261
DOI: 10.1016/0020-0190(96)00111-1

@inproceedingsGoltz_Wehrheim_1996, series=Lecture Notes in Computer Science, title=Causal Testing, DOI=10.1007/3-540-61550-4_165, booktitle=Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, author=Goltz, Ursula and Wehrheim, Heike, editor=Penczek, Wojciech and Szalas, AndrzejEditors, year=1996, pages=394--406, collection=Lecture Notes in Computer Science 
LibreCat: /record/3262
DOI: 10.1007/3-540-61550-4_165

@inproceedingsRensink_Wehrheim_1994, series=Lecture Notes in Computer Science, title=Weak Sequential Composition in Process Algebras, DOI=10.1007/978-3-540-48654-1_20, booktitle=CONCUR ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, author=Rensink, Arend and Wehrheim, Heike, editor=Jonsson, Bengt and Parrow, JoachimEditors, year=1994, pages=226--241, collection=Lecture Notes in Computer Science 
LibreCat: /record/3263
DOI: 10.1007/978-3-540-48654-1_20

@inproceedingsWehrheim_1994, series=IFIP Transactions, title=Parametric Action Refinement, booktitle=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, author=Wehrheim, Heike, editor=Olderog, Ernst-R\'22udigerEditor, year=1994, pages=247--266, collection=IFIP Transactions 
LibreCat: /record/3264