1. On the greatest fixed point of a set functor;Adámek;Theoret. Comput. Sci.,1995
2. Terminal coalgebras in well-founded set theory;Barr;Theoret. Comput. Sci.,1993
3. Modal Logic;Blackburn,2001
4. R. Goldblatt, Logics of Time and Computation, CSLI Lecture Notes, 2nd Edition, Vol. 7, Center for the Study of Language and Information, Stanford University, 1992.
5. Many-sorted coalgebraic modal logic;Jacobs;Theoret. Inform. Appl.,2001