Design Principles behind Chiron: A UIMS for Software Environments. - Michal Young; Richard N. Taylor; Dennis B. Troup; Cheryl D. Kelly (ICSE, 1988)

Structural Testing of Concurrent Programs. - Richard N. Taylor; David L. Levine; Cheryl D. Kelly (IEEE Trans. Software Eng., 1992)