A System for the Symbolic Analysis of Problems in Engineering Mechanics. - Philip H. Todd; Robin J. Y. McLeod; Marcia Harris (ISSAC, 1994)