Mechanical geometry theorem proving - Chou, Shang - Ching (D. Reidel Publishing Company, 1987)