F. Logozzo, und A. Cortesi. Electronic Notes in Theoretical Computer Science (Proc. of the First Int. Workshop on Abstract Interpretation of Object-oriented Languages (AIOOL 2005)), (2005)
Y. Zou, und M. Hung. ICPC '06: Proceedings of the 14th IEEE International Conference on Program Comprehension, Seite 127-136. IEEE Computer Society, (2006)
H. Müller, J. Jahnke, D. Smith, M. Storey, S. Tilley, und K. Wong. International Conference on Software Engineering (ICSE '00): Proceedings of the Conference on The Future of Software Engineering, Seite 47-60. (2000)
P. Cousot, und R. Cousot. POPL '77: Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, Seite 238-252. ACM Press, (1977)