Mathematica Theory of Computer Algebra System Theory document for maTHmU project. PDF version attached here.