1. Compilers: Principles, Techniques, and Tools;Aho,1986
2. Automated validation and verification of process models;Atkinson,2003
3. The design of evolutionary process modeling languages;Atkinson,2004
4. Little-JIL/Juliette: a process definition language and interpreter;Cass,2000
5. A priority-based coloring approach to register allocation;Chow;ACM Transactions on Programming Languages and Systems,1990