Richter-Gebert, J., & Kortenkamp U.  (2001).  A dynamic setup for elementary geometry.  Proceedings of MTCM 2000.