1. LNCS;R Bagnara,2005
2. LNCS;B Blanchet,2002
3. Blanchet B, Cousot P, Cousot R, Feret J, Mauborgne L, Miné A, Monniaux D, Rival X (2003) A static analyzer for large safety-critical software. In: Proc ACM SIGPLAN ’2003 conf PLDI, San Diego, 7–14 June 2003. ACM, New York, pp 196–207
4. LNCS;F Bourdoncle,1993
5. Bryant RE (1986) Graph-based algorithms for boolean function manipulation. IEEE Trans Comput C 35(8)