Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen / Bernd Hofmann. Düsseldorf : VDI-Verl., 1994