Books
- Annual Review of Computer Science: Volume 1, 1986. 1986, with Barbara J. Grosz, Butler W. Lampson, Nils J. Nilsson
- Annual Review of Computer Science: Volume 2, 1987. 1987, with Barbara J. Grosz, Butler W. Lampson, Nils J. Nilsson
- Annual Review of Computer Science: Volume 3, 1988. 1988, with Barbara J. Grosz, Butler W. Lampson, Nils J. Nilsson
- Annual Review of Computer Science: Volume 4, 1989-1990. 1990, with Barbara J. Grosz, Butler W. Lampson, Nils J. Nilsson
Short works