B. Bauer and R. Hennicker. Proving the correctness of algebraic implementations by the isar system. Technical report, Ludwig-Maximilians-Universität München, 1993.
Michel Bidoit and Rolf Hennicker. A general framework for modular implementations of modular system specifications. Technical report, Ludwig-Maximilians-Universität München, 1993.