1. Adámek, J., Rosický, J.: Locally Presentable and Accessible Categories. Cambridge University Press, Cambridge (1994)
2. Arbib, M.A., Manes, E.G.: Arrows, Structures, and Functors: the categorical imperative. Academic Press, London (1975)
3. de Bakker, J.W., de Vink, E.P.: Control Flow Semantics. The MIT Press, Cambridge (1996)
4. Barr, M.: Terminal coalgebras in well-founded set theory. Theoretical Computer Science 114(2), 299–315 (1993)
5. Billingsley, P.: Probability and Measure. John Wiley & Sons, Chichester (1995)