Title: Stochastic automata; constructive theory
First published: 1974
Subjects: Constructive mathematics, Probabilistic automata