Computational Noncommutative Algebra And Applications by Jim Byrnes