Davis, J. D. Prospective Mathematics Teachers’ Use of the Symbolic Manipulation Features of a CAS in Their Lesson Planning. R&E-SOURCE 2014, 1.