Non-commutative Computer Algebra with applications door Oleksandr Motsak