From failure to success: comparing a denotational and a declarative semantics for Horn clause logic / F.S. de Boer, J. N. Kok, C. Palamidessis, J. J. Rutten, 1990. - 20 p. - Текст : непосредственный.
Rutten J.J. Automata, power series, and coinduction: taking input derivatives seriously (extended abstract) / J.J.Rutten, 1999. - 13 p. - Текст : непосредственный.
Rutten J.J. Automata and coinduction (an exercise in coalgebra) / J.J.Rutten, 1998. - 22 p. - Текст : непосредственный.
Rutten J.J. Elements of stream calculus (an extensive exercise in coinduction) / J.J.Rutten, 2001. - 54 p. - Текст : непосредственный.