1. Balzer, R. IEEE Transactions on Software Engineering SE-11:11, 1257–1268 (Nov. 1985).
2. Barstow, D. “Artificial intelligence and software engineering.” Proc. of 9th International Conference on Software Engineering (1987), pp. 200–211.
3. Manna, Z., and Waldinger, R. ACM Transactions on Programming Languages and Systems 2.1, 90–121 (1980).
4. Dershowitz, N. In Machine learning: An artificial intelligence approach, vol. 2 (Michalski, R., Carbonell, J., and Mitchell, T., eds.) (Morgan Kaufmann, San Mateo, CA, 1986), pp. 395–423.
5. Barstow, D. In Machine intelligence, vol. 10 (Hayes, I. E., Michie, D., and Pao, Y.-H., eds.) (Wiley, New York, 1982).