David A. Naumann
-
Derivation of recursive algorithms for CS2
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education