A. Arnold, “Recognizable sets of finite bilabelled transition systems”, Acta Cybern, vol. 9, no. 4, pp. 333-347, Jan. 1990.