1. Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman. 2006. Compilers: Principles, Techniques, and Tools (2nd Edition). Addison Wesley, Boston, MA, USA.
2. A theory of timed automata
3. Abstract Interpretation, Symbolic Execution and Constraints. In Recent Developments in the Design and Implementation of Programming Languages(OASIcs, Vol. 86). Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl;Amadini Roberto;Germany,2020
4. Andrew W. Appel and Maia Ginsburg. 1997. Modern Compiler Implementation in C. Cambridge University Press, Cambridge, UK.