Synchronizing random automata on a 4-letter alphabet
scientific article; zbMATH DE number 6222122