Ronald Brown Andrew Tonks Calculations with Simplicial and Cubical Groups in AXIOM. 159-179 1994 17 J. Symb. Comput. 2 db/journals/jsc/jsc17.html#BrownT94