- Specularity in Algebra
- Experiencing Equivalence, but Organizing Order
- Examples, A Missing Link
- Moore and Less!
PME31 is a paper worth reading. In particular, the conclusion sets a framework for further research on example-generating and example-checking and how they might be related. However, apart from a small (and unpublished) research that I did with one of my master students years after this PME paper, I never seriously came back to the ideas discussed in the paper.