FORMAC an experimental formula manipulation Compiler. - Elaine R. Bond; Marc A. Auslander; S. Grisoff; Robert Kenney; Mat Myszewski; Jean E. Sammet; Robert G. Tobey; Stephen N. Zilles (ACM National Conference, 1964)

Automatic simplification in FORMAC. - Robert G. Tobey; Robert J. Bobrow; Stephen N. Zilles (AFIPS Fall Joint Computing Conference (1), 1965)

Experience with FORMAC algorithm design. - Robert G. Tobey (Commun. ACM, 1966)

Eliminating monotonous mathematics with FORMAC. - Robert G. Tobey (Commun. ACM, 1966)

CUE: A Preprocessor for Restricted, Natural English. - David B. Loveman; John A. Moyne; Robert G. Tobey (SIGIR, 1971)

Symbolic mathematical computation - introduction and overview. - Robert G. Tobey (SYMSAC, 1971)

A 1990's Scenario: Personal Augmentation - The Human/Machine Interface. - Robert G. Tobey (COMPCON, 1984)