Some aspects of Probabalistic Automata Azaria Paz 26-60 Information and Control February 1966 9 1 db/journals/iandc/iandc9.html#Paz66