A Graphical Environment for Formally Developing Object-Oriented Software. - Betty H. C. Cheng; Enoch Y. Wang; Robert H. Bourdeau (ICTAI, 1994)

Formalizing and Integrating the Dynamic Model within OMT. - Enoch Y. Wang; Heather A. Richter; Betty H. C. Cheng (ICSE, 1997)

Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams. - Betty H. C. Cheng; Laura A. Campbell; Enoch Y. Wang (DSN, 2000)

Formalizing the Functional Model within Object-Oriented Design. - Enoch Y. Wang; Betty H. C. Cheng (Int. J. Softw. Eng. Knowl. Eng., 2000)

Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling. - Betty H. C. Cheng; Enoch Y. Wang (IEEE Trans. Software Eng., 2002)