1. CSLI Lecture Notes;P Aczel,1988
2. Lecture Notes in Computer Science;P Aczel,1989
3. Adámek, J., Herrlich, H., Strecker, G.: Abstract and Concrete Categories. Wiley-Interscience Publication, London (1990)
4. Lecture Notes in Computer Science;M Banerjee,2007
5. Bilkova, M., Palmigiano, A., Venema, Y.: Proof systems for the coalgebraic cover modality. Adv. Modal Log. 7, 1–23 (2008)