Recurrence and transience for probabilistic automata
scientific article; zbMATH DE number 6098244