1. Arbib, M. A., Manes, E. G.: Algebraic Approaches to Program Semantics. The AKM Series in Theoretical Computer Science. Springer-Verlag. (1986)
2. Dowek, G., Felty, A., Herbelin, H., Huet, G., Murty, C., Parent, C., Paulin-Mohring, C., Werner, B.: The Coq proof assistant user’s guide. Technical Report 134, INRIA. (1993)
3. Lect Notes Comput Sci;M. Erwig,1998
4. Freire, J. L., Blanco, A. On the Abstraction Process. Brain Processes, Theories and Models. MIT Press. (1996)
5. Freire, E., Freire, J. L., Blanco, A.: Dialgebras in High Order Programming. Proc. of International Conference on Wiener’s Cybernetics: 50 years of evolution. Las Palmas. (1999)