A proposed system for structured programming. - Thomas E. Cheatham Jr.; Judy A. Townley (Symposium on Programming, 1974)

Structured Programming Applied to Equipment Testing. - Judy A. Townley (Computer, 1975)

Symbolic evaluation of programs: a look at loop analysis. - Thomas E. Cheatham Jr.; Judy A. Townley (SYMSACC, 1976)

A Look at Programming and Programming Systems. - Thomas E. Cheatham Jr.; Judy A. Townley (Adv. Comput., 1976)

A System for Program Refinement. - Thomas E. Cheatham Jr.; Judy A. Townley; Glenn H. Holloway (ICSE, 1979)

Symbolic Evaluation and the Analysis of Programs. - Thomas E. Cheatham Jr.; Glenn H. Holloway; Judy A. Townley (IEEE Trans. Software Eng., 1979)

A pragmatic approach to resolution-based theorem proving. - Judy A. Townley (Int. J. Parallel Program., 1980)

Program Refinement by Transsformation. - Thomas E. Cheatham Jr.; Glenn H. Holloway; Judy A. Townley (ICSE, 1981)

The use of transformations to implement an algorithm. - Judy A. Townley (Symposium on Programming, 1982)