Arnold, A. 1990. Recognizable sets of finite bilabelled transition systems. Acta Cybernetica. 9, 4 (Jan. 1990), 333-347.