1. Arbib, M.A., Manes, E.G.: Foundations of system theory: Decomposable systems. Automatica 10, 285–302 (1974)
2. Arbib, M.A., Manes, E.G.: Algebraic Approaches to Program Semantics. In: Texts and Monogr. Comp. Sci., Springer, Heidelberg (1986)
3. de Bakker, J.W., Vink, E.: Control Flow Semantics. MIT Press, Cambridge (1996)
4. Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Berlin (1985), Revised and corrected version available from
www.cwru.edu/artsci/math/wells/pub/ttt.html
5. Bartels, F.: On generalised coinduction and probabilistic specification formats. Distributive laws in coalgebraic modelling. PhD thesis, Free Univ. Amsterdam (2004)