Algorithmic methods in Galois theory - Matzat, Bernd Heinrich (Journal of symbolic computation, 2000)