Alcock, L., Simpson, A., "Interactions between defining, explaining and classifying: The case of increasing and decreasing sequences", Educational Studies in Mathematics, 2017