Bredereke, J.:
Maintaining Families of Rigorous Requirements for Embedded Software Systems.
Habilitation thesis, University of Bremen, Germany (2005). (abstract - pdf - ps/gzip)

Bredereke, J.:
Communication Systems Design with Estelle - On Style, Efficiency, and Analysis.
PhD thesis, Shaker Verlag, Aachen, Germany, ISBN 3-8265-2764-X (Aug. 1997). (abstract)

Bredereke, J.:
Entwurf einer formalen Semantik für Estelle unter Verwendung von TLA mit Prädikatentransformatoren.
Diplomarbeit Nr. 858, Univ. of Hamburg, Dept. of Comp. Sci. (June 1992). (ps/gzip)

Bredereke, J.:
Spezifikation und Verifikation des InRes-Protokolls unter Verwendung von Estelle und temporaler Logik.
Studienarbeit Nr. 700, Univ. of Hamburg, Dept. of Comp. Sci. (Nov. 1990).