1. ‘Exposing side-effects in a PL/1 optimizing compiler’, Proceedings of the IFIP Congress 1971, North Holland, Amsterdam, 1971, pp. 376–381.
2. ‘Interprocedural data flow analysis’, Proceedings of the IFIP Congress 1974, North Holland, Amsterdam, 1974, pp. 398–402.
3. ‘Data flow analysis for procedural languages’, Research Report, IBM Yorktown Heights RC 5948, IBM, 1976.
4. Data Flow Analysis in the Presence of Procedure Calls
5. ‘An interprocedural data flow analysis algorithm’, Proc. 4th POPL Conference, ACM, January 1977, pp. 119–131.