1. Alur, R., et al.: The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138(1), 3–34 (1995)
2. Asperti, A., Longo, G.: Categories, Types and Scructures: An Introduction to Category Theory for the Working Computer Scientist. MIT Press, Cambridge (1991)
3. Awodey, S.: Category Theory. Oxford University Press, Oxford (2010)
4. Conway, J.B.: A Course in Functional Analysis, 2nd edn. Springer, New York (1990)
5. Cousot, P., Cousot, R.: Abstract interpretation frameworks. J. Logic Comput. 2(4), 511–547 (1992)