Kurz A. Coalgebras and modal logic for parameterised endofunctors / A.Kurz,D.Pattinson, 2000. - 19 p. - Текст : непосредственный.