RELVIEW - A System for Calculating With Relations and Relational Programming. - Ralf Behnke 003; Rudolf Berghammer; Erich Meyer; Peter Schneider (FASE, 1998)

Applications of the Rel View System. - Ralf Behnke 003; Rudolf Berghammer; Thorsten Hoffmann; Barbara Leoniuk; Peter Schneider (Tool Support for System Specification, Development and Verification, 1998)

Transformationelle Programmentwicklung im Rahmen relationaler und sequentieller Algebren. - Ralf Behnke 003 (1998)