1. Bunt, A., Terry, M., Lank, E.: Challenges and Opportunities for Mathematics Software in Expert Problem Solving. Human-Computer Interaction 28(3), 222–264 (2013)
2. Marshall, N., Buteau, C., Jarvis, D.H., Lavicza, Z.: Do Mathematicians Integrate Computer Algebra Systems in University Teaching? Comparing a Literature Review to an International Survey Study. Computers & Education 58(1), 423–434 (2012)
3. Wester, M.J.: A Critique of the Mathematical Abilities of CA Systems. In: Wester, M. (ed.) Computer Algebra Systems. A Practical Guide, pp. 25–60. J. Wiley & Sons (1999)
4. Lecture Notes in Computer Science;R. Bradford,2009
5. Bradford, R., Davenport, J.H., Sangwin, C.J.: A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy (II). International Journal for Technology in Mathematics Education 17(2), 93–98 (2010)