Other Publications (in reverse chronological order)
- JML Reference Manual (DRAFT), with Gary T. Leavens, Erik Poll, Curtis Clifton, Yoonsik Cheon, Clyde Ruby, David Cok, Peter Müller, Joseph R. Kiniry, and Patrice Chalin. 2008.
- ÜberNet: The Infospheres Network Layer User Guide. California Institute of Technology, 1998.
- II: The Infospheres Infrastructure User Guide (editor). The Infospheres Group, Department of Computer Science, California Institute of Technology, 1998.
- The Infospheres Java Coding Standard (editor, with Joseph R. Kiniry). The Infospheres Group, Department of Computer Science, California Institute of Technology, 1997-99.