Bounded sequence testing from deterministic finite state machines
scientific article; zbMATH DE number 5693344
scientific article