... he developed one of the first programs to implement the Todd-Coxeter coset enumeration algorithm - a pioneering achievement in the application of computers to algebra.
... siya na binuo ng isa sa mga unang programa na ipatupad ang Todd-Coxeter coset pag-isa isa algorithm - pangunguna ng isang tagumpay sa aplikasyon ng mga computer sa algebra.