Computer algebra and symbolic computation mathematical methods - Cohen, Joel S. (Orient longman, 2003)