1. M. Auslander and M. Hopkins. An overview of the PL.8 compiler. In Proceedings of the ACM SIGPLAN Symposium on Compiler Construction (SCC‘82) (Boston, Massachusetts), volume 17, 6 of ACM SIGPLAN Notices, pages 22–31, 1982.
2. S. Benkner, S. Andel, R. Blasko, P. Brezany, A. Celic, B. M. Chapman, M. Egg, T. Fahringer, J. Hulman, E. Kelc, E. Mehofer, H. Moritsch, M. Paul, K. Sanjari, V. Sipkova, B. Velkov, B. Wender, and H. P. Zima. Vienna Fortran Compilation System-Version 1.2-User’s Guide. Institute for Software Technology and Parallel Systems, University of Vienna, Vienna, Austria, 1996.
3. P. Cousot. Abstract interpretation. ACM Computing Surveys, 28(2):324–328, 1996.
4. P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the 4th Annual Symposium on Principles of Programming Languages (POPL‘77) (Los Angeles, California), pages 238–252. ACM, New York, 1977.
5. P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Conference Record of the 6th Annual Symposium on Principles of Programming Languages (POPL‘79) (San Antonio, Texas), pages 269–282. ACM, New York, 1979.