André Arnold Recognizable sets of finite bilabelled transition systems. 123-134 1989 38 Bulletin of the EATCS db/journals/eatcs/eatcs38.html#Arnold89