1. Locally Presentable and Accessible Categories;Adamek,1994
2. G.L. Cattani, G. Winskel, Presheaf Models for Concurrency, Computer Science Logic CSL ’96, Lecture Notes in Computer Science, Vol. 1258, Springer, Berlin, Preliminary version appeared as BRICS Report RS-96-35.
3. A. Cheng, M. Nielsen, Open maps (at) work, Research series RS-95-23, BRICS, Department of Computer Science, University of Aarhus, 1995.
4. A. Corradini, M. Grosse-Rhode, R. Heckel, Structured transition systems as lax coalgebras, Proc. First Workshop on Coalgebraic Methods in Computer Science, Lisbon, Electronic Notes in Theoretical Computer Science, Vol. 11, 1998.
5. Objects and classes, coalgebraically;Jacobs,1996