S. Wagner-Dibuz, “Frames for protocol description”, Acta Cybern, vol. 9, no. 3, pp. 281-289, Jan. 1990.