Introduction to probabilistic automata - Paz, Azaria (Academic Press, 1971)
Includes bibliographical references (pages 199-208) and index