Wagner-Dibuz, S. 1990. Frames for protocol description. Acta Cybernetica. 9, 3 (Jan. 1990), 281-289.