An algorithm for road coloring
scientific article; zbMATH DE number 6126828
scientific article