The teachability of mathematical thinking (1980) [pdf]
cs.utexas.edu