Ein Verfahren zum Beschreiben, Realisieren und Testen von Kommunikationsprotokollen - Köster, Rüdiger (Fortschritt-Berichte VDI. Reihe 10, 1990)