The NP-completeness of the road coloring problem
scientific article; zbMATH DE number 6149183