Kramer, G. A. Solving geometric constraint systems: A case study in Kinematics - Massachusetts MIT Press 1992 - xix, 277p. - Artificial intelligence . ISBN: 0-262-11164-0