| 1996 |
| 4 | EE | George W. Cherry,
Brad S. Crawford:
The Situation in Object-Oriented Specification and Design.
TRI-Ada 1996: 83-98 |
| 1994 |
| 3 | EE | George W. Cherry:
Software Engineering with Ada in a New Key: Formalizing and Visualizing the Object Paradigm.
TRI-Ada 1994: 309-320 |
| 1992 |
| 2 | EE | George W. Cherry:
Stimulus Response Machines: An Ada-based Graphic Formalism for Describing Class and Object Behavior.
TRI-Ada 1992: 321-332 |
| 1988 |
| 1 | | Philip H. Todd,
George W. Cherry:
Symbolic Analysis of Planar Drawings.
ISSAC 1988: 344-355 |