David Barton A Problem with Algebra Systems - Revisited. 159-164 1984 27 Comput. J. 2 db/journals/cj/cj27.html#Barton84