David Gries Bill Marion Peter Henderson Diane Schwartz How mathematical thinking enchances computer science problem solving. 390-391 2001 conf/sigcse/2001 SIGCSE http://doi.acm.org/10.1145/364447.364754 db/conf/sigcse/sigcse2001.html#GriesMHS01