Common LISP: a gentle introduction to symbolic computation

Visualizing evaluation in applicative languages

Communications of the ACM

Patterns and pedagogy

SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education

Functional fun

SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education

An empirical study of the use of problem reduction as a paradigm for problem solving in software engineering

CSC '91 Proceedings of the 19th annual conference on Computer Science

Everything I needed to know about teaching I learned in kindergarten: bringing elementary education techniques to undergraduate computer science classes

Proceedings of the 37th SIGCSE technical symposium on Computer science education

Computer science fairy tales

Journal of Computing Sciences in Colleges