Convergence and 0-1 Laws for L_inf, omega^k under Arbitrary Measures. - Monica McArthur (CSL, 1994)

The asymptotic behavior of Lk∞,ω on sparse random graphs. - Monica McArthur (Logic and Random Structures, 1995)

The Logic of Recursive Equations. - Antonius J. C. Hurkens; Monica McArthur; Yiannis N. Moschovakis; Lawrence S. Moss; Glen T. Whitney (J. Symb. Log., 1998)

A Study of Productivity and Efficiency for Object-Oriented Methods and Languages. - Daniel Port; Monica McArthur (APSEC, 1999)