A. V. Aho, M. S. Lam, R. Sethi, and J. D. Ullman, Compilers: principles, techniques, and tools. Pearson, 2007.

C. Baier and J. P. Katoen, Principles of Model Checking (Representation and Mind Series), 2008.

A. Bouajjani, J. Esparza, and T. Touili, A Generic Approach to the Static Analysis of Concurrent Programs with Procedures, International Journal of Foundations of Computer Science, vol.36, issue.04, p.551, 2003.
DOI : 10.1142/S0129054103001893
URL : https://hal.archives-ouvertes.fr/hal-00161114

R. E. Bryant, Symbolic Boolean manipulation with ordered binary-decision diagrams, ACM Computing Surveys, vol.24, issue.3, pp.293-318, 1992.
DOI : 10.1145/136035.136043
URL : http://akebono.stanford.edu/users/nanni/courses/EE318/bryant92.pdf

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-01108790

P. Cousot and R. Cousot, Systematic design of program analysis frameworks, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '79, pp.269-282, 1979.
DOI : 10.1145/567752.567778
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.207.2895

M. Droste and W. Kuich, Semirings and Formal Power Series, Monographs in Theoretical Computer Science. An EATCS Series, pp.3-28, 2009.
DOI : 10.1007/978-3-642-01492-5_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.133.5408

P. Filipiuk, H. R. Nielson, and F. Nielson, Explicit Versus Symbolic Algorithms for Solving ALFP Constraints, Electronic Notes in Theoretical Computer Science, vol.267, issue.2, pp.15-28, 2010.
DOI : 10.1016/j.entcs.2010.09.015
URL : http://doi.org/10.1016/j.entcs.2010.09.015

J. B. Kam and J. D. Ullman, Monotone data flow analysis frameworks, Acta Informatica, vol.2, issue.3, pp.305-317, 1977.
DOI : 10.1007/BF00290339

G. A. Kildall, A unified approach to global program optimization, Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '73, pp.194-206, 1973.
DOI : 10.1145/512927.512945
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.3450

L. Lamport, A new solution of Dijkstra's concurrent programming problem, Communications of the ACM, vol.17, issue.8, pp.453-455, 1974.
DOI : 10.1145/361082.361093

F. Nielson, H. R. Nielson, and C. Hankin, Principles of Program Analysis, 1999.
DOI : 10.1007/978-3-662-03811-6

F. Nielson, H. Seidl, and H. R. Nielson, A succinct solver for ALFP, Nord. J. Comput, vol.9, issue.4, pp.335-372, 2002.
DOI : 10.1007/978-3-540-24730-2_21

T. W. Reps, S. Schwoon, S. Jha, and D. Melski, Weighted pushdown systems and their application to interprocedural dataflow analysis, Science of Computer Programming, vol.58, issue.1-2, pp.206-263, 2005.
DOI : 10.1016/j.scico.2005.02.009
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.8068

B. K. Rosen, Monoids for Rapid Data Flow Analysis, SIAM Journal on Computing, vol.9, issue.1, pp.159-196, 1980.
DOI : 10.1137/0209015