J.L. Bueso

Algorithmic methods in non-commutative algebra