[wglb]

I have a copy of his paper at U of W titled "A Code Synthesis filter for basic block optimization" 72-3-01. The code behind the paper was written in XPL.

[wglb]

Further, his work in that area is referenced in other compiler-related books such as Flow Analysis of Computer Programs by Matthew S. Hect.