1. A. Brogi, S. C. and Turini, F. (1998). The use of renaming in composing general programs.
2. ACM (1996). Proc. International Workshop on Multiple Perspectives in Software Development (View-points’96), San Francisco, ACM Symposium on Foundations of Software Engineering.
3. Bibel, W. (1980). Syntax-directed, semantics supported program synthesis. Artificial Intelligence, 14: 243–261.
4. Bundy, A. (1988). The use of explicit plans to guide inductive proofs. In Lusk, E. and Overbeek, R., editors, Proc. 9th International Conference on Automated Deduction, pages 111–120.
5. Lecture Notes in Computer Science 310, Springer. Calmet, J., Jekutsch, S., Kulhnann, P., and Schü, J.. (1997). Komet - a system for the integration of