Add refernce to GMP documentation