Constructive differential Galois theory - Matzat, Bernd Heinrich; Put, Marius van der (Galois groups and fundamental groups, 2003)