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