Introduction to probabilistic automata
Paz, Azaria.
New York London Academic Press
1971
bibl p199-208
Sequential machine theory.
Markov processes.