Kortenkamp, U.  (1999).  Foundations of Dynamic Geometry.