Geometry programs from Abelson's book