Vink E.P. de Bisimulation for probabilistic transition systems: a coalgebraic approach / E.P. de Vink,J.J.M.M.Rutten, 1998. - 22 p. - Текст : непосредственный.
Rutten J.J.M.M. note on coinduction and weak bisimilarity for while programs / J.J.M.M.Rutten, 1998. - 6 p. - Текст : непосредственный.
Rutten J.J.M.M. On the foundations of final semantics:non-standard sets,metric spaces, partial orders / J.J.M.M.Rutten,D.Turi, 1992. - 53 p. - Текст : непосредственный.
America P.H.M. layered semantics for a parallel object-oriented language / P.H.M.America,J.J.M.M.Rutten, 1990. - 42 p. - Текст : непосредственный.
Rutten J.J.M.M. Elements of generalized ultrametric domain theory / J.J.M.M.Rutten, 1995. - 31 p. - Текст : непосредственный.