Leistungsbewertung automatisch generierter Protokollimplementierungen. - Joachim Thees; Reinhard Gotzhein (MMB (Kurzbeiträge), 1997)

The experimental Estelle Compiler: automatic generation of implementations from formal specifications. - Joachim Thees; Reinhard Gotzhein (FMSP, 1998)

Open Estelle - An FDT for Open Distributed Systems. - Joachim Thees; Reinhard Gotzhein (FORTE, 1998)

Implementierungs- und Optimierungsmodelle des eXperimental Estelle Compilers. - Joachim Thees (FBT, 1999)

Type Abstraction in Formal Protocol Specifications with Container Types. - Joachim Thees (FORTE, 2003)

Durchgängige Entwicklung großer verteilter Systeme - Die SILICON-Fallstudie. - Reinhard Gotzhein; Christian Peper; Philipp Schaible; Joachim Thees (KiVS, 2003)

Ausdrucksfähigkeit und effiziente Implementierbarkeit formaler Beschreibungstechniken am Beispiel von Estelle. - Joachim Thees (2005)