1. [1] Aczel, P., and N. Mendler, "A final coalgebra theorem", pp. 357--65 in Category Theory and Computer Science (Manchester, 1989), edited by D. H. Pitt et al., vol. 389 of Lecture Notes in Computer Science, Springer, Berlin, 1989.
2. [2] Barr, M., "Algebraically compact functors", Journal of Pure and Applied Algebra, vol. 82 (1992), pp. 211--31.
3. [4] Borceux, F., Handbook of Categorical Algebra. 1, 2, and 3, vols. 50, 51, 52 of Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 1994. 1. Basic Category Theory: 2. Categories and Structures: 3. Categories of Sheaves
4. [5] Goldblatt, R., Logics of Time and Computation, 2d edition, vol. 7 of CSLI Lecture Notes, CSLI, Stanford, 1992.
5. [6] Hennessy, M., and R. Milner, "On observing nondeterminism and concurrency", pp. 299--309 in Automata, Languages and Programming (Proceedings of the Seventh International Colloquium, Noordwijkerhout, 1980), edited by J. W. de Bakker and J. van Leeuwen, vol. 85 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1980.