Rational points on a subanalytic surface - Pila, J (2005)