A Protocol Development Environment Based on Estelle. - R. Födisch; Thomas Held; Hartmut König (INDC, 1992)