Control flow versus logic: a denotational and a declarative model for quarded Horn clauses / F.S.de Boer,J.N.Kok,C.Palamidessi,J.J.M.Rutten, 1989. - 15 p. - Текст : непосредственный.
Semantic models for a version of Parlog / F.S.de Boer,J.N.Kok,C.Palamidessi,J.J.M.Rutten, 1989. - 30 p. - Текст : непосредственный.
Rutten J.J.M. Coinductive counting: bisimulation in enumerative combinatorics (extended abstract) / J.J.M.Rutten, 2001. - 16 p. - Текст : непосредственный.