1. A. Bloss. Path Analysis and the Optimization of Non-Strict Functional Languages. PhD thesis, Computer Science Department, Yale University, New Haven, Connecticut, USA, May 1989. Also: Research Report YALEU/DCS/RR-704. 129 pages.
2. A. Bloss and P. Hudak. Path semantics. In M. Main et al., editors, Mathematical Foundations of Programming Language Semantics, 3rd Workshop, New Orleans, Louisiana. (Lecture Notes in Computer Science, vol. 298), pages 476–489. Springer-Verlag, 1988.
3. A. Bloss, P. Hudak, and J. Young. Code optimizations for lazy evaluation. Lisp and Symbolic Computation, 1 (2): 147–164, September 1988.
4. M. Draghicescu and S. Purushothaman. A compositional analysis of evaluation- order and its application. In 1990 ACM Conference on Lisp and Functional Programming, Nice, France, pages 242–250. ACM Press, 1990.
5. C.K. Gomard. Program Analysis Matters. PhD thesis, DIKU, University of Copenhagen, Denmark, November 1991. Also DIKU Report 91/17.