1. Structure and Interpretation of Computer Programs;Abelson,1985
2. The Theory of Parsing, Translation, and Compiling;Aho,1972
3. Warren's Abstract Machine: A Tutorial Reconstruction;Ait-Kaci,1991
4. Aït-Kaci, Hassan, Patrick Lincoln, and Roger Nasr. (1987)“Le Fun: Logic, Equations and Functions.” Proceedings of the IEEE, CH2472–9/87.
5. Natural Language Understanding;Allen,1987