1. Aho, A.V., Hopcroft, J.E., and Ullman, J.D. TheDesign and Analysis of Computer Algorithms. Addison-Wesley, Reading, Mass. 1974.
2. Aho, A.V., and Ullman, J.D.The Theory of Parsing, Translation, and Compiling, Vol. 1: Parsing. Prentice-Hall, Englewood Cliffs, New Jersey, 1972.
3. Balzer, R. Imprecise program specification. Report ISI/RR-75-36, Inform. Sciences Inst., Dec. 1975.
4. Conway, M.E. Design of a separable transition-diagram compiler.Comm. ACM 6, 7 (July 1963), 396–408.
5. Davis, R. Interactive transfer of expertise: acquisition of new inference rules. Proc. Int. Joint Conf. on Artif. Intell., MIT, Cambridge Mass., August 1977, pp. 321–328.