Carola Gerke

Korso Reference Languages - Concepts and Application Domains

Martin Gogolla, Ernst-Rüdiger Olderog, Grit Denker, 1995, KORSO Book.

Algebreic Programming in Opal

Wolfgang Grieskamp, Peter Pepper, Carola Gerke, 1993, Bull. EATCS.

OPAL: Design and Implementation of an Algebraic Programming Language

Wolfgang Grieskamp, Peter Pepper, Klaus Didrich, 1994, Programming Languages and System Architectures.

Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract)

Wolfgang Grieskamp, Peter Pepper, Klaus Didrich, 1996, AMAST.