Eine Integration formaler und objektorientierter Methoden bei der Entwicklung von Kommunikationsprotokollen. - Manfred Johann Kräß (1999)