1. Arbib, M.A., Manes, E.G.: Algebraic Approaches to Program Semantics. The AKM Series in Theoretical Computer Science. Springer, Heidelberg (1986)
2. Belleannée, C., Brisset, P., Ridoux, O.: A Pragmatic Reconstruction of λ–Prolog. The Journal of Logic Programming (1994)
3. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development. EATCS Series. Springer, Heidelberg (2004)
4. Freire, J.L., Blanco, A.: On the abstraction process. In: Brain Processes, Theories and Models. MIT Press, Cambridge (1996)
5. Freire Nistal, J.L., Blanco Ferro, A., Freire Brañas, J.E., Sánchez Penas, J.J.: EUROCAST 2001. LNCS, vol. 2178, pp. 583–596. Springer, Heidelberg (2001)