On the Calculation of Control Transition Probabilities in a Program. - Timo O. Alanko; R. L. Smelianski (Inf. Process. Lett., 1986)

A Language for Specifying Distributed Program Behavior. - Yu. V. Bakalov; R. L. Smelianski (Parcella, 1996)