Nielson, Flemming Programming Logics, MPI for Informatics, Max Planck Society;
Nielson, F., & Seidl, H. (2001). Control-Flow Analysis in Cubic Time. In H. Hussmann (Ed.), Proceedings of the 10th European Symposium on Programming (ESOP-01) held as part of the Joint European Conferences on Theory and Practice of Software (ETAPS-01) (pp. 252-268). Berlin, Germany: Springer.