Efficient recognition of rational relations
behaviour of k cooperating finite state machines
scientific article; zbMATH DE number 3759548