Rutten J.J.M Deriving denotational models for bisimulation from structured operational semantics / J.J.MRutten, 1989. - 17 p. - Текст : непосредственный.