1. Almstrum V. L. 1993. Limitations in the understanding of mathematical logic by novice computer science students. Ph.D. thesis University of Texas at Austin. Almstrum V. L. 1993. Limitations in the understanding of mathematical logic by novice computer science students. Ph.D. thesis University of Texas at Austin.
2. Almstrum V. L. 1996. Investigating student difficulties with mathematical logic. In Teaching and Learning Formal Methods C. N. Dean and M. G. Hinchey Eds. Academic Press 131--160. Almstrum V. L. 1996. Investigating student difficulties with mathematical logic. In Teaching and Learning Formal Methods C. N. Dean and M. G. Hinchey Eds. Academic Press 131--160.
3. Concept inventories in computer science for the topic discrete mathematics
4. Anderson J. R. Reder L. M. and Simon H. A. 1998. Radical constructivism and cognitive psychology. In Brookings Papers on Education Policy D. Ravitch Ed. Brookings Institution 227--255. (A more complete version is available online http://act.psy.cmu.edu/ACT/papers/misapplied-abs-ja.html.) Anderson J. R. Reder L. M. and Simon H. A. 1998. Radical constructivism and cognitive psychology. In Brookings Papers on Education Policy D. Ravitch Ed. Brookings Institution 227--255. (A more complete version is available online http://act.psy.cmu.edu/ACT/papers/misapplied-abs-ja.html.)