Editor of Books and Journal Theme Issues

Gotzhein, R., Bredereke, J.:
Editorial: Trends in formal description techniques.
Comp. Networks and ISDN Syst. 30(9-10), 863-864 (May 1998). (ps/gzip)

Gotzhein, R. and Bredereke, J. (eds.):
Formal Description Techniques IX - Theory, application and tools.
Chapman & Hall (Sep. 1996). (Proceedings of FORTE/PSTV'96)

Gotzhein, R. and Bredereke, J. (eds.):
FORTE/PSTV'96 Tutorial Notes.
Univ. Kaiserslautern (Sep. 1996).

Gotzhein, R. and Bredereke, J. (eds.):
5. GI/ITG-Fachgespräch `Formale Beschreibungstechniken für verteilte Systeme'.
Univ. Kaiserslautern, FB Informatik (22-23 June 1995). (Proceedings)