src/backend/commands/analyze.c, around line 1930 as of CVS HEAD:
/*----------
* Estimate the number of distinct values using the
estimator
* proposed by Haas and Stokes in IBM Research Report
RJ 10025:
Thanks for the pointer, Tom. I shouldn't have been surprised to find such a nice comment pointing me at the literature.
- John D. Burger MITRE