Reactive, generative and stratified models of probabilistic processes / R.J.van Glabbeek,S.A.Smolka,B.Steffen,C.M.N.Tofts, 1990. - 12 p. - Текст : непосредственный.