1. Abramsky, S.: A Cook’s Tour of the Finitary Non-Well-Founded Sets. In: Artemov, S., Barringer, H., d’Avila Garcez, A., Lamb, L.C., Woods, J. (eds.) We Will Show Them: Essays in Honour of Dov Gabbay, vol. 1, pp. 1–18. College Publications (2005),
http://arxiv.org/pdf/1111.7148.pdf
2. Adámek, J., Herrlich, J., Strecker, G.E.: Abstract and Concrete Categories. John Wiley & Sons (1990)
3. Adámek, J., Rosický, J.: Locally Presentable and Accessible Categories. London Math. Soc. LNS, vol. 189. Cambridge Univ. Press (1994)
4. Lecture Notes in Computer Science;A. Balan,2011
5. Lecture Notes in Computer Science;M. Bílková,2011