Correct Flow Analysis in Continuation Semantics. - Margaret Montenyohl; Mitchell Wand (POPL, 1988)

Incorporating Static Analysis in a Combinator-Based Compiler - Margaret Montenyohl; Mitchell Wand (Inf. Comput., 1989)

Correctness of Static Flow Analysis in Continuation Semantics. - Margaret Montenyohl; Mitchell Wand (Sci. Comput. Program., 1991)

Towards Efficient Compilation of a Dynamic Object-Oriented Language. - Sheila Harnett; Margaret Montenyohl (PEPM, 1992)