Vitalsource Technologies, Inc. Bayesian Methods For Finite Population Sampling