1. A temporal logic of nested calls and returns;Alur,2004
2. The method of attributes for data flow analysis: Part I. Exhaustive analysis;Babich;Acta Informatica,1978
3. Boyland, J., “Descriptional Composition of Compiler Components,” Ph.D. thesis, University of California, Berkeley, Berkeley, CA (1996)
4. Cimatti, A., E.M. Clarke, F. Giunchiglia and M. Roveri, NuSMV: A new symbolic model verifier, in: Proc. Computer Aided Verification, 1999, pp. 495–499
5. Demers, A., T. Reps and T. Teitelbaum, Incremental evaluation for attribute grammars with application to syntax-directed editors, in: ACM POPL Symp. (1981), pp. 105–116