Stevenson, Ian James.; (1996) Constructing curvature : the iterative design of a computer-based microworld for non-Euclidean geometry. Doctoral thesis , Institute of Education, University of London.