Teaching and learning proof across the grades A K - 16 perspective (Routledge, 2009)