Philip H. Todd Robin J. Y. McLeod Marcia Harris A System for the Symbolic Analysis of Problems in Engineering Mechanics. 84-89 1994 ISSAC http://doi.acm.org/10.1145/190347.190370 db/conf/issac/issac94.html#ToddMH94