Rutten J.J.M.M. Initial algebra and final coalgebra semantics for concurrency / J. J.M.M. Rutten, D. Turi, 1994. - 57 p. - Текст : непосредственный.
Turi D. Logic programs with negation : Classes, models, interpreters / D.Turi, 1989. - 34 p. - Текст : непосредственный.
Turi D. Extending S-interpretations to logic programs with negation / D.Turi, 1989. - 14 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. - Текст : непосредственный.