R. G. Bukharajev Ju. A. Alpin Methodology of Proving a Finite-State Stochastic Representability and Nonrepresentability. 3-11 1977 FCT db/conf/fct/fct77.html#BukharajevA77