George W. Cherry Stimulus Response Machines: An Ada-based Graphic Formalism for Describing Class and Object Behavior. [Citation Graph (0, 0)][DBLP] TRI-Ada, 1992, pp:321-332 [Conf]
George W. Cherry Software Engineering with Ada in a New Key: Formalizing and Visualizing the Object Paradigm. [Citation Graph (0, 0)][DBLP] TRI-Ada, 1994, pp:309-320 [Conf]