REFERENCES
- Gehringer , E. F. 2001 . Electronic peer review and peer grading in computer-science courses . ACM SIGCSE Bulletin , 33 ( 1 ) : 139 – 143 .
- Goff , C. D. 2002 . Using composition techniques to improve classroom instruction and students' understanding of proof . PRIMUS , XII ( 3 ) : 239 – 246 .
- Gonthier , G. 2008 . Formal proof—The four color theorem . Notices of the American Mathematical Society , 55 ( 11 ) : 1382 – 1393 .
- Hales , T. C. 2008 . Formal proof . Notices of the American Mathematical Society , 55 ( 11 ) : 1370 – 1380 .
- Harrison , J. 2008 . Formal proof—Theory and practice . Notices of the American Mathematical Society , 55 ( 11 ) : 1395 – 1406 .
- Howard , R. M. 2001 . “ Collaborative pedagogy ” . In A Guide to Composition Pedagogies , Edited by: Tate , G. , Rupiper , A. and Schick , K. New York, NY : Oxford University Press .
- Sibley , T. Q. 2009 . Foundations of Mathematics , Hoboken, NJ : John Wiley and Sons .
- Tobin , L. 2001 . “ Process pedagogy ” . In A Guide to Composition Pedagogies , Edited by: Tate , G. , Rupiper , A. and Schick , K. New York, NY : Oxford University Press .
- Wiedijk , F. 2008 . Formal proof—Getting started . Notices of the American Mathematical Society. , 55 ( 11 ) : 1408 – 1414 .
- Wolfe, W. J. 2003. Student peer reviews in an upper-division mathematics class. Exchanges: The Online Journal of Teaching and Learning in the CSU http://www.calstate.edu/ITL/exchanges/classroom/1156wolfe.html (http://www.calstate.edu/ITL/exchanges/classroom/1156wolfe.html) (Accessed: 15 September 2008 ).
- Wolfe , W. J. Online student peer reviews . CITC5 '04: Proceedings of the 5th Conference on Information Technology Education . New York, NY : Association for Computing Machinery .