Automated protocol implementation towards the integration of manual implementation techniques - Langendörfer, Peter 1966-; König, Hartmut 1950- (Techn. Univ., Fak. für Math., Naturwiss. und Informatik, 1998)