1. S. Amarel, Program synthesis as a theory formation task ? problem representations and solution methods, in:Machine Learning: An Artificial Intelligence Approach, vol. 2, eds. R.S. Michalski, J.G. Carbonell and T.M. Mitchell (Morgan Kaufmann, San Mateo, CA, 1986) pp. 499?569.
2. J. Backus, Can programming be liberated from the von Neumann style: A functional style and its algebra of programs, Commun. ACM (August 1978).
3. A. Barr and E.A. Feigenbaum,The Handbook of Artificial Intelligence, vol. 2 (William Kaufmann, Los Altos, Ca, 1982).
4. R. Bhaskar and N. Nigam, Qualitative physics using dimensional analysis, Art. Int. J. 45 (1990) 73?111.
5. D. Bjorner, A.P. Ershov and N.D. Jones (eds.),Workshop on Partial Evaluation and Mixed Computation, Lecture Notes in Computer Science (Springer, 1987).