Using Concurrent Haskell to Develop Views over an Active Repository. - Einar W. Karlsen; Stefan Westmeier (Implementation of Functional Languages, 1997)

Tool Integration in the UniForM-Workbench. - Christoph Lüth; Einar W. Karlsen; Kolyang 001; Stefan Westmeier; Burkhart Wolff (Tool Support for System Specification, Development and Verification, 1998)

HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z. - Christoph Lüth; Einar W. Karlsen; Kolyang 001; Stefan Westmeier; Burkhart Wolff (ZUM, 1998)