1. and (eds), Abstract Interpretation of Declarative Languages, Ellis Horwood, Chichester, England, 1987.
2. and , ‘Strictness analysis—a practical approach’, in (ed.), 2nd Functional Programming Languages and Computer Architecture, LNCS 201, Nancy, France, September 1985, Springer-Verlag, pp. 35–49.
3. and , ‘A pragmatic approach to the analysis and compilation of lazy functional language’, in (ed.), 2nd Parallel and Distributed Processing, Sofia, Bulgaria, March 1990. North Holland, pp. 169–184.
4. ‘Compile-time analysis of functional programs’, in (ed.), Research Topics in Functional Programming, Addison Wesley, Reading, Massachusetts, 1990, pp. 117–153.
5. ‘Attribute grammars as a functional programming paradigm’, in (ed.), 3rd Functional Programming Languages and Computer Architecture, LNCS 274, Portland, Oregon, September 1987, Springer-Verlag, pp. 154–173.