1. Lecture Notes in Computer Science;K. Baukus,2000
2. Lecture Notes in Computer Science;D. Bošnački,2004
3. Clarke, E., Grumberg, O., Long, D.: Model checking and abstraction. ACM Trans. Prog. Lang. Sys. 5(16), 1512–1542 (1994)
4. Cousot, P., Cousot, R.: Abstract interpretaion: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of POPL 1973, January 1973. ACM, New York (1973)
5. Dams, D.: Abstract Interpretation and Partition Refinement for Model Checking. PhD dissertation, Eindhoven University of Thechnology (July 1996)