Arnold André: Recognizable sets of finite bilabelled transition systems. In: Acta cybernetica, (9) 4. pp. 333-347. (1990)