Symbolic Analysis of Planar Drawings. - Philip H. Todd; George W. Cherry (ISSAC, 1988)

Covering the life cycle with Ada: Ada all the way. - George W. Cherry (WADAS, 1989)

Software construction by object-oriented pictures: stimulus-response machines. - George W. Cherry (ACM SIGSOFT Softw. Eng. Notes, 1991)

S-R machines: a visual formalism for reactive and interactive systems. - George W. Cherry (ACM SIGSOFT Softw. Eng. Notes, 1991)

System construction with object-oriented pictures. - George W. Cherry (ACM SIGSOFT Softw. Eng. Notes, 1991)

Stimulus Response Machines: An Ada-based Graphic Formalism for Describing Class and Object Behavior. - George W. Cherry (TRI-Ada, 1992)

Graphic formalisms should integrate communication, control, and data flow. - George W. Cherry (ACM SIGSOFT Softw. Eng. Notes, 1992)

Stimulus-response machines: a new visual formalism for describing classes and objects. - George W. Cherry (ACM SIGSOFT Softw. Eng. Notes, 1993)

Software Engineering with Ada in a New Key: Formalizing and Visualizing the Object Paradigm. - George W. Cherry (TRI-Ada, 1994)

Visual software engineering with rules. - George W. Cherry (ACM SIGSOFT Softw. Eng. Notes, 1994)

The Situation in Object-Oriented Specification and Design. - George W. Cherry; Brad S. Crawford (TRI-Ada, 1996)