1. Abramsky, S., and A. Jung, Domain Theory, in S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, (eds.), Handbook of Logic in Computer Science, Vol. 3, Clarendon Press, Oxford, 1995, pp. 1–168.
2. Alur, R., T. A. Henzinger, and O. Kupferman, Alternating-time temporal logic, Journal of the ACM 5:672–713, 2002.
3. Balan, A., and A. Kurz, Finitary functors: From Set to Preord and Poset, in A. Corradini, B. Klin, and C. Cîrstea, (eds.), Proc. CALCO 2011, Springer, Berlin, Heidelberg, 2011, pp. 85–99.
4. Balan, A., A. Kurz, and J. Velebil, Positive fragments of coalgebraic logics, in R. Heckel, and S. Milius, (eds.), Algebra and Coalgebra in Computer Science, Springer, Berlin, Heidelberg, 2013, pp. 51–65.
5. Balan, A., A. Kurz, and J. Velebil, An institutional approach to positive coalgebraic logic, Journal of Logic and Computation 27(6):1799–1824, 2015.