A Course in Constructive Algebra by Ray Mines