A simple optimizer for FP-like languages. - Noorul Islam; Thomas J. Myers; Paul Broome (FPCA, 1981)

Through a Glass Darkly: Observations on Referential Translucency. - Thomas J. Myers; A. Toni Cohen (IMACS World Congress, 1982)

Toward an Algebra of Nondeterministic Programs. - A. Toni Cohen; Thomas J. Myers (Symposium on LISP and Functional Programming, 1982)

Models and Transformations for Nondeterministic Extensions of Functional Programming. - Thomas J. Myers; A. Toni Cohen (FSTTCS, 1984)

Information sharing. - A. Toni Cohen; Thomas J. Myers (ACM SIGPLAN Notices, 1985)

Equations, models, and programs - a mathematical introduction to computer science. - Thomas J. Myers (Prentice Hall, 1988)

Parallel Scheduling of Recursively Defined Arrays. - Thomas J. Myers; Maya B. Gokhale (J. Symb. Comput., 1988)