1. S. Abramsky, Domain theory and the logic of observable properties, University of London, 1987.
2. S. Abramsky, A cook’s tour of the finitary non-well-founded sets, We Will Show Them: Essays in honour of Dov Gabbay (2005) 1–18 (this is basically a paper version of an invited talk at the 1988 British Colloquium on Theoretical Computer Science in Edinburgh).
3. Introduction to coalgebra;Adámek;Theory Appl. Categ.,2005
4. Abstract and Concrete Categories;Adámek,1990
5. Modal Logic;Blackburn,2001