R. Göbel

Access to Earth Observation Data by the Satellite Data Information System ISIS.

G. Strunz, R. Göbel, S. White, 1995 .

Integrated program development and verification

Christoph Beierle, Walter G. Olthoff, P. Raulefs, 1984 .

TRSPEC: a term based system for algebraic specifications

Joachim Steinbach, Jürgen Avenhaus, R. Göbel, 1988 .