Gramlich, 2003. Probabilistic and Nondeterministic Unary Automata, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-540-45138-9_40