Analyse und Optimierung von Protokoll-Spezifikationen. - Bernd Hofmann 002 (Kommunikation in Verteilten Systemen, 1991)

An Estelle Compiler for Multiprocessor Platforms. - Stefan Fischer 001; Bernd Hofmann 002 (FORTE, 1993)

Integration von Darstellungs- und Kommunikationssteuerungsschicht in Estelle. - Bernd Hofmann 002 (Kommunikation in Verteilten Systemen, 1993)

Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen. - Bernd Hofmann 002 (VDI-Verlag, 1994)