1. S. Antoy. Definitional trees. In ALP, volume 632 of LNCS, pages 143–157. Springer, 1992.
2. S. Antoy, R. Echahed, and M. Hanus. A needed narrowing strategy. In Symposium on Principles of Programming Languages (POPL'94), volume 21, pages 268–279. ACM, 1994.
3. G.L. Burn. Evaluation transformer-a model for the parallel evaluation of functional 2701 0699 V 2 languages (extended abstract). In Proc. of the 3th Conference on Functional 2701 0699 V 3 Languages and Computer Architecture, volume 274 of LNCS, pages 446–470. 2701 0699 V 3 Springer, 1987.
4. G.L. Burn. Lazy Functional Languges: Abstract Interpretation and Compilation. Research Monographs in Parallel and Distributed Computing. MIT Press, 1991.
5. P. Cousot and R. Cousot. A unified lattice model for static analysis of programs by construction of approximation of fixpoints. In Proc. of the 4th ACM Symposium on Principles of Programming Languages (POPL), pages 238–252, 1977.