Rationality of Division Orderings. - David A. Cohen; Elizabeth A. Scott (Inf. Process. Lett., 1992)

Automated Proof of the Correctness of a Compiling Specification. - Elizabeth A. Scott (AMAST, 1993)

Weights for Total Division Orderings on Strings. - Elizabeth A. Scott (Theor. Comput. Sci., 1994)