1. Cousot P, R. Cousot: static determination of dynamic properties of programs. In: Proceedings of the 2nd International Symposium on Programming. 1976
2. Mycroft A: the theory and practice of transforming call-by-need into call-by-value. In: Proceedings of the 4th International Symposium on Programming. Springer, Berlin Heidelberg New York, 1980 (Lecture notes in computer science no. 83)
3. Burn G. L, Hankin C. L, S. Abramsky. Strictness analysis for higher order functions. Science of Computer Programming 1986; 7: 249–278
4. Wadler P: strictness analysis on non-flat domains. In: Abramsky S. and C. Hankin (eds) Abstract Interpretation of Declarative Languages. Ellis-Horwood, 1987
5. Abramsky S: strictness analysis and polymorphic invariance. In: Proceedings of the DIKU Workshop on programs as data objects. Springer, Berlin Heidelberg New York,1986 (Lecture notes in computer science no. 217)