David Barton Stephen R. Bourne John Fitch An Algebra System. 32-39 1970 13 Comput. J. 1 db/journals/cj/cj13.html#BartonBF70