Ruhroth, Thomas, et al. “ReL: A Generic Refactoring Language for Specification and Execution.”10.1109/SEAA.2011.22__37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90, doi:10.1109/SEAA.2011.22.

Derrick, John, et al. “Verifying Linearisability with Potential Linearisation Points.”10.1007/978-3-642-21437-0_25__FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, edited by Michael J. Butler and Wolfram Schulte, 2011, pp. 323--337, doi:10.1007/978-3-642-21437-0_25.

Steenken, Dominik, et al. “Sound and Complete Abstract Graph Transformation.”10.1007/978-3-642-25032-3_7__Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, S\'7eao Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, edited by Adenilso da Silva Sim\'7eao and Carroll Morgan, 2011, pp. 92--107, doi:10.1007/978-3-642-25032-3_7.

Schneider, Steve, et al. “A CSP Account of Event-B Refinement.”10.4204/EPTCS.55.9__Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., edited by John Derrick et al., 2011, pp. 139--154, doi:10.4204/EPTCS.55.9.

Leuschel, Michael, and Heike Wehrheim. “Selected Papers on Integrated Formal Methods (IFM09).”10.1016/j.scico.2011.01.009__Science of Computer Programming, no. 10, Elsevier, 2011, pp. 835--836, doi:10.1016/j.scico.2011.01.009.

Besova, Galina, et al. “Reputation-Based Reliability Prediction of Service Compositions.”10.1016/j.entcs.2011.11.008__Electronic Notes in Theoretical Computer Science, no. 2, Elsevier, 2011, pp. 3–16, doi:10.1016/j.entcs.2011.11.008.

Schremmer, Alexander. Function Specification Inference Using Craig Interpolation. Universität Paderborn, 2011.

Schneider, Steve, et al. “A CSP Approach to Control in Event-B.”10.1007/978-3-642-16265-7_19__Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M\rquote ery and Stephan Merz, 2010, pp. 260--274, doi:10.1007/978-3-642-16265-7_19.

Dräger, Klaus, et al. “SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems.”10.1007/978-3-642-12002-2_22__Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, edited by Javier Esparza and Rupak Majumdar, 2010, pp. 271--274, doi:10.1007/978-3-642-12002-2_22.

Steenken, Dominik, et al. “Towards A Shape Analysis for Graph Transformation Systems.” CoRR, 2010.

Derrick, John, and Heike Wehrheim. “Model Transformations across Views.”10.1016/j.scico.2009.11.004__Sci. Comput. Program., no. 3, 2010, pp. 192--210, doi:10.1016/j.scico.2009.11.004.

Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic UML.”10.1007/978-3-642-17322-6_23__Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, edited by Gregor Engels et al., 2010, pp. 533--554, doi:10.1007/978-3-642-17322-6_23.

Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised Systems.”10.1007/978-3-642-16901-4_35__Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings, edited by Jin Song Dong and Huibiao Zhu, 2010, pp. 534--548, doi:10.1007/978-3-642-16901-4_35.

Hülsbusch, Mathias, et al. “Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques.”10.1007/978-3-642-16265-7_14__Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M\rquote ery and Stephan Merz, 2010, pp. 183--198, doi:10.1007/978-3-642-16265-7_14.

Wehrheim, Heike, and Daniel Wonisch. “Compositional CSP Traces Refinement Checking.”10.1016/j.entcs.2009.08.022__Electr. Notes Theor. Comput. Sci., no. 2, 2009, pp. 135--151, doi:10.1016/j.entcs.2009.08.022.

Ruhroth, Thomas, and Heike Wehrheim. “Static Class Elements for Object-Z.”10.1016/j.entcs.2009.12.025__Electr. Notes Theor. Comput. Sci., 2009, pp. 193--205, doi:10.1016/j.entcs.2009.12.025.

Ruhroth, Thomas, et al. “Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models.”10.1109/SEAA.2009.39__35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings, 2009, pp. 360--367, doi:10.1109/SEAA.2009.39.

Leuschel, Michael, and Heike Wehrheim, editors. Integrated Formal Methods, 7th International Conference, IFM 2009, D\'22usseldorf, Germany, February 16-19, 2009. Proceedings. 2009, doi:10.1007/978-3-642-00255-7.

Wehrheim, Heike. “Refinement in the Presence of Unknowns.”10.1016/j.entcs.2008.02.023__Electr. Notes Theor. Comput. Sci., 2008, pp. 255--264, doi:10.1016/j.entcs.2008.02.023.

Estler, H. .. Christian, and Heike Wehrheim. “Alloy as a Refactoring Checker?”10.1016/j.entcs.2008.06.015__Electr. Notes Theor. Comput. Sci., 2008, pp. 331--357, doi:10.1016/j.entcs.2008.06.015.

Möller, Michael, et al. “Integrating a Formal Method into a Software Engineering Process with UML and Java.”10.1007/s00165-007-0042-7__Formal Asp. Comput., no. 2, 2008, pp. 161--204, doi:10.1007/s00165-007-0042-7.

Brückner, Ingo, et al. “Slicing Abstractions.” Fundam. Inform., no. 4, 2008, pp. 369--392.

Engels, Gregor, et al. “From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations.”10.1007/978-3-540-69100-6_7__Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, edited by Ina Schieferdecker and Alan Hartman, 2008, pp. 94--109, doi:10.1007/978-3-540-69100-6_7.

Derrick, John, et al. “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.”10.1007/978-3-540-68863-1_6__Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings, edited by Gilles Barthe and Frank S. de Boer, 2008, pp. 78--95, doi:10.1007/978-3-540-68863-1_6.

Metzler, Björn, et al. “Decomposition for Compositional Verification.”10.1007/978-3-540-88194-0_9__Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, edited by Shaoying Liu et al., 2008, pp. 105--125, doi:10.1007/978-3-540-88194-0_9.

Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.”10.1007/978-3-540-85762-4_26__Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, edited by John S. Fitzgerald et al., 2008, pp. 380--394, doi:10.1007/978-3-540-85762-4_26.

Derrick, John, and Heike Wehrheim. “On Using Data Abstractions for Model Checking Refinements.”10.1007/s00236-007-0042-3__Acta Inf., no. 1, 2007, pp. 41--71, doi:10.1007/s00236-007-0042-3.

Metzler, Björn, and Heike Wehrheim. “Extending a Component Specification Language with Time.”10.1016/j.entcs.2006.02.031__Electr. Notes Theor. Comput. Sci., no. 2, 2007, pp. 47--67, doi:10.1016/j.entcs.2006.02.031.

Estler, H. .. Christian, et al. “Modelchecking Correctness of Refactorings - Some Experiments.”10.1016/j.entcs.2006.08.041__Electr. Notes Theor. Comput. Sci., 2007, pp. 3--17, doi:10.1016/j.entcs.2006.08.041.

Engels, Gregor, et al. “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.”10.1007/978-3-540-89020-1_2__Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, edited by Andy Sch\'22urr et al., 2007, pp. 17--31, doi:10.1007/978-3-540-89020-1_2.

Engels, Gregor, et al. “Analysis of UML Activities Using Dynamic Meta Modeling.”10.1007/978-3-540-72952-5_5__Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 2007, pp. 76--90, doi:10.1007/978-3-540-72952-5_5.

Ruhroth, Thomas, and Heike Wehrheim. “Refactoring Object-Oriented Specifications with Data and Processes.”10.1007/978-3-540-72952-5_15__Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 2007, pp. 236--251, doi:10.1007/978-3-540-72952-5_15.

Schäfer, Wilhelm, and Heike Wehrheim. “The Challenges of Building Advanced Mechatronic Systems.”10.1109/FOSE.2007.28__International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, May 23-25, 2007, Minneapolis, MN, USA, edited by Lionel C. Briand and Alexander L. Wolf, 2007, pp. 72--84, doi:10.1109/FOSE.2007.28.

Derrick, John, et al. “Proving Linearizability Via Non-Atomic Refinement.”10.1007/978-3-540-73210-5_11__Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, edited by Jim Davies and Jeremy Gibbons, 2007, pp. 195--214, doi:10.1007/978-3-540-73210-5_11.

Brückner, Ingo, et al. “Optimizing Slicing of Formal Specifications by Deductive Verification.” Nord. J. Comput., no. 1–2, 2006, pp. 22--45.

Derrick, John, and Heike Wehrheim. “Model Transformations Incorporating Multiple Views.”10.1007/11784180_11__Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, edited by Michael Johnson and Varmo Vene, 2006, pp. 111--126, doi:10.1007/11784180_11.

Wehrheim, Heike. “Incremental Slicing.”10.1007/11901433_28__Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, edited by Zhiming Liu and Jifeng He, 2006, pp. 514--528, doi:10.1007/11901433_28.

Gorrieri, Roberto, and Heike Wehrheim, editors. Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings. 2006, doi:10.1007/11768869.

Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and (Property) Inheritance in CSP-OZ.”10.1016/j.scico.2004.05.017__Sci. Comput. Program., no. 1–3, 2005, pp. 227--257, doi:10.1016/j.scico.2004.05.017.

Wehrheim, Heike. “Slicing Techniques for Verification Re-Use.”10.1016/j.tcs.2005.06.020__Theor. Comput. Sci., no. 3, 2005, pp. 509--528, doi:10.1016/j.tcs.2005.06.020.

Rasch, Holger, and Heike Wehrheim. “Checking the Validity of Scenarios in UML Models.”10.1007/11494881_5__Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings, edited by Martin Steffen and Gianluigi Zavattaro, 2005, pp. 67--82, doi:10.1007/11494881_5.

Brückner, Ingo, and Heike Wehrheim. “Slicing an Integrated Formal Method for Verification.”10.1007/11576280_25__Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, edited by Kung-Kiu Lau and Richard Banach, 2005, pp. 360--374, doi:10.1007/11576280_25.

Derrick, John, and Heike Wehrheim. “Non-Atomic Refinement in Z and CSP.”10.1007/11415787_3__ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, edited by Helen Treharne et al., 2005, pp. 24--44, doi:10.1007/11415787_3.

Brückner, Ingo, and Heike Wehrheim. “Slicing Object-Z Specifications for Verification.”10.1007/11415787_24__ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, edited by Helen Treharne et al., 2005, pp. 414--433, doi:10.1007/11415787_24.

Wehrheim, Heike. “Refinement and Consistency in Component Models with Multiple Views.”10.1007/11786160_5__Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, edited by Ralf H. Reussner et al., 2004, pp. 84--102, doi:10.1007/11786160_5.

Möller, Michael, et al. “Linking CSP-OZ with UML and Java: A Case Study.”10.1007/978-3-540-24756-2_15__Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, edited by Eerke A. Boiten et al., 2004, pp. 267--286, doi:10.1007/978-3-540-24756-2_15.

Wehrheim, Heike. “Refinement and Consistency in Multiview Models.” Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004, edited by Jean B\rquote ezivin and Reiko Heckel, 2004.

Wehrheim, Heike. “Behavioral Subtyping Relations for Active Objects.”10.1023/A:1024764232069__Formal Methods in System Design, no. 2, 2003, pp. 143--170, doi:10.1023/A:1024764232069.

Wehrheim, Heike. “Preserving Properties Under Change.”10.1007/978-3-540-30101-1_16__Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, edited by Frank S. de Boer et al., 2003, pp. 330--343, doi:10.1007/978-3-540-30101-1_16.

Wehrheim, Heike. “Inheritance of Temporal Logic Properties.”10.1007/978-3-540-39958-2_6__Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, edited by Elie Najm et al., 2003, pp. 79--93, doi:10.1007/978-3-540-39958-2_6.

Rasch, Holger, and Heike Wehrheim. “Checking Consistency in UML Diagramms: Classes and State Machines.”10.1007/978-3-540-39958-2_16__Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, edited by Elie Najm et al., 2003, pp. 229--243, doi:10.1007/978-3-540-39958-2_16.

Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic Refinement.”10.1007/3-540-44880-2_10__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, edited by Didier Bert et al., 2003, pp. 127--147, doi:10.1007/3-540-44880-2_10.

Wehrheim, Heike. “Relating State-Based and Behaviour-Oriented Subtyping.” Nord. J. Comput., no. 4, 2002, pp. 405--435.

Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and Inheritance in CSP-OZ.”10.1007/978-3-540-39656-7_15__Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, edited by Frank S. de Boer et al., 2002, pp. 361--379, doi:10.1007/978-3-540-39656-7_15.

Wehrheim, Heike. “Checking Behavioural Subtypes via Refinement.” 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, edited by Bart Jacobs and Arend Rensink, 2002, pp. 79--93.

Rensink, Arend, and Heike Wehrheim. “Process Algebra with Action Dependencies.”10.1007/s002360100070__Acta Inf., no. 3, 2001, pp. 155--234, doi:10.1007/s002360100070.

Bartetzko, Detlef, et al. “Jass - Java with Assertions.”10.1016/S1571-0661(04)00247-6__Electr. Notes Theor. Comput. Sci., no. 2, 2001, pp. 103--117, doi:10.1016/S1571-0661(04)00247-6.

Fischer, Clemens, et al. “A CSP View on UML-RT Structure Diagrams.”10.1007/3-540-45314-8_8__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, edited by Heinrich Hu\'73smann, 2001, pp. 91--108, doi:10.1007/3-540-45314-8_8.

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

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

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

Wehrheim, Heike. “Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods.”10.1007/3-540-46428-X_23__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, 2000, pp. 334--348, doi:10.1007/3-540-46428-X_23.

Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.”10.1007/978-0-387-35520-7_11__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, 2000, pp. 213--231, doi:10.1007/978-0-387-35520-7_11.

Wehrheim, Heike. “Partial Order Reductions for Failures Refinement.”10.1016/S1571-0661(05)80296-8__Electr. Notes Theor. Comput. Sci., 1999, pp. 71--84, doi:10.1016/S1571-0661(05)80296-8.

Wehrheim, Heike. “Data Abstraction for CSP-OZ.”10.1007/3-540-48118-4_5__FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, edited by Jeannette M. Wing et al., 1999, pp. 1028--1047, doi:10.1007/3-540-48118-4_5.

Fischer, Clemens, and Heike Wehrheim. “Model-Checking CSP-OZ Specifications with FDR.” Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999, edited by Keijiro Araki et al., 1999, pp. 315--334.

Gehrke, Thomas, et al. “A Process Algebra Semantics for MSC Including Conditions.” Formale Beschreibungstechniken F\'22ur Verteilte Systeme, 8. GI/ITG-Fachgespr\'22ach, Cottbus, 4. Und 5. Juni 1998, edited by Hartmut K\'22onig and Peter Langend\'22orfer, 1998, pp. 185--196.

Gehrke, Thomas, et al. “An Algebraic Semantics for Message Sequence Chart Documents.” Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII’98, IFIP T W.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France, edited by Stanislaw Budkowski et al., 1998, pp. 3--18.

Huhn, Michaela, et al. “Partial Order Reductions for Bisimulation Checking.”10.1007/978-3-540-49382-2_26__Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings, edited by Vikraman Arvind and Ramaswamy Ramanujam, 1998, pp. 271--282, doi:10.1007/978-3-540-49382-2_26.

Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.”10.1007/BFb0029990__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, 1997, pp. 468--477, doi:10.1007/BFb0029990.

Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.”10.1007/BFb0029990__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, 1997, pp. 468--477, doi: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.”10.1016/0020-0190(96)00111-1__Inf. Process. Lett., no. 4, 1996, pp. 179--184, doi:10.1016/0020-0190(96)00111-1.

Goltz, Ursula, and Heike Wehrheim. “Causal Testing.”10.1007/3-540-61550-4_165__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, 1996, pp. 394--406, doi:10.1007/3-540-61550-4_165.

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

Wehrheim, Heike. “Parametric Action Refinement.” 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, 1994, pp. 247--266.