The PROSPECTRA System: A Unified Development Framework. - Einar W. Karlsen; Bernd Krieg-Brückner; Owen Traynor (AMAST, 1991)

The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development. - Bernd Krieg-Brückner; Einar W. Karlsen; Junbo Liu; Owen Traynor (VDM Europe (2), 1991)

PAnndA Reference Manual. - Einar W. Karlsen (PROSPECTRA Book, 1993)

Program Development: PAnndA Transformer Shell. - Einar W. Karlsen (PROSPECTRA Book, 1993)

PAnndA-S Reference Manual. - Einar W. Karlsen; Jesper Jørgensen II (PROSPECTRA Book, 1993)

Program Development: PAnndA-S Editor. - Einar W. Karlsen; Jesper Jørgensen II (PROSPECTRA Book, 1993)

Program Development: Attributes for Transformation and Proof. - Einar W. Karlsen; Owen Traynor (PROSPECTRA Book, 1993)

Uniform Transformational Development. - Bernd Krieg-Brückner; Einar W. Karlsen; Junbo Liu; Owen Traynor (PROSPECTRA Book, 1993)

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

The UniForM WorkBench - A Higher Order Tool Integration Framework. - Einar W. Karlsen (FM-Trends, 1998)

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)

Tool integration in a functional programming language. - Einar W. Karlsen (1999)

Mapping UML to Ada. - Bill Taylor; Einar W. Karlsen (Ada-Europe, 2001)