Use of Forth in a course in computer algebra. - John J. Wavrik (FORTH, 1991)

Rewrite Rules and Simplification of Matrix Expressions. - John J. Wavrik (Comput. Sci. J. Moldova, 1996)

Computer simplification of formulas in linear systems theory. - J. William Helton; Mark Stankus; John J. Wavrik (IEEE Trans. Autom. Control., 1998)

Commutativity Theorems: Examples in Search of Algorithms. - John J. Wavrik (ISSAC, 1999)