Praxis der rechnergestützten Implementierung von Kommunikationsprotokollen / Thomas Held