1. Compilers: Principles, Techniques, and Tools;Aho,1986
2. The U-interpreter;Arvind;Computer,1982
3. I-structures: Data structures for parallel computing;Arvind Nikhil;ACM Trans. Programming Languages Systems,1989
4. The Program Dependence web: A representation supporting control-, data-, and demand-driven interpretation of imperative languages;Ballance,1990
5. From control flow to dataflow;Beck,1989