The Design of Automatic Parallelizers for Symbolic and Numeric Programs. - Williams Ludwell Harrison III; Zahira Ammarguellat (Workshop on Parallel Lisp, 1989)

Automatic Recognition of Induction Variables and Recurrence Relations by Abstract Interpretation. - Zahira Ammarguellat; Williams Ludwell Harrison III (PLDI, 1990)

A Program's Eye View of Miprac. - Williams Ludwell Harrison III; Zahira Ammarguellat (LCPC, 1992)

A Control-Flow Normalization Algorithm and Its Complexity. - Zahira Ammarguellat (IEEE Trans. Software Eng., 1992)