Strictness analysis
- Inverse image analysis. In T. Ottman, editor, Proceedings of ICALP 87, volume 267 of
Lecture Notes in Computer Science, pages 21--30. Springer-Verlag, 1987.
- Inverse image analysis generalises strictness analysis. Information and Computation, 90(2):194--216, February 1991.