R. Hennicker and C. Schmitz. Object-oriented implementation of abstract data type specifications. In Proc. AMAST '96, volume 1101 of Lecture Notes in Computer Science, pages 163–179, Berlin, 1996. Springer.
Michel Bidoit and Rolf Hennicker. Modular Correctness of Behavioural Implementations. Technical Report 9513, Institut für Informatik, Ludwig-Maximilians-Universität München, 1995.
Michel Bidoit and Rolf Hennicker. Behavioural Theories. In Recent Trends in Data Type Specification, volume 906 of Lecture Notes in Computer Science, pages 153–169. Springer Verlag, 1995.
Michel Bidoit and Rolf Hennicker. Proving the correctness of behavioural implementations. In Proc. AMAST `95 4th International Conference on Algebraic Methodology and Software Technology, volume 936 of Lecture Notes in Computer Science, pages 152–168. Springer Verlag, 1995.
Michel Bidoit, Rolf Hennicker, and Martin Wirsing. Behavioural and Abstractor Specifications. Science of Computer Programming, 25(2-3):146–186, 1995.
Michel Bidoit, Rolf Hennicker, and Martin Wirsing. Characterizing behavioural semantics and abstractor semantics. In Proc. of ESOP'94, pages 105–119. Springer-Verlag L.N.C.S. 788, 1994.
Michel Bidoit and Rolf Hennicker. Proving Behavioural Theorems with Standart First-Order Logic. In Proc. Algebraic and Logic Programming 4th International Conference ALP `94, volume 850 of Lecture Notes in Computer Science, pages 41–58. Springer Verlag, 1994.
P. Chen and R. Hennicker. Retrieval of Reusable Components in Software Object Bases. Technical report, Ludwig-Maximilians-Universität München, 1994.
Stefan Gastinger, Rolf Hennicker, and Robert Stabl. Design of Modular Software Systems with Reuse. Technical report, Ludwig-Maximilians-Universität München, 1994.
R. Hennicker and F. Nickl. A Behavioural algebraic framework for modular system design with reuse. In Hartmut Ehrig and Fernando Orejas, editors, Recent Trends in Data Type Specification, Proc. 9th Wsh. Specification of Abstract Data Types, 1992, volume 785 of Lect. Notes Comp. Sci. Springer, Berlin, 1994.