20901 Azaria Paz: Introduction to probabilistic automata. Academic Press 1971, 230p.