1. Assmann, U., Weinhardt, M.: Interprocedural Heap Analysis for Parallelizing Imperative Programs, In: Giloi, W.K., Jähnichen, S., Shriver, B.D. (eds.) Programming Models for Massively Parallel Computers. IEEE Press, pp. 74–82 (1993)
2. Ball, Th., Podelski, A., Rajamani, S.K.: Boolean and Cartesian Abstraction for Model Checking C Programs, Technical Report MSR-TR-2000-115, Microsoft Research (2000)
3. Bidoit, M., Boisseau A.: Algebraic Abstractions. In: 15th Workshop on Algebraic Development Techniques WADT'01, Lecture Notes in Computer Science 2267, 21–47 (2001)
4. Burch, J., Clarke, E., McMillan, K., Dill D.: Symbolic Model Checking: 1020 States and Beyond, In: Proceedings of the 5th Symposium on Logic in Computer Science (1990)
5. Chase, D., Wegman, M., Zadeck F.: Analysis of Pointers and Structures, In: SIGPLAN Conference on Programming Languages, Design and Implementation, pp. 296–310 (1990)