Knuth talks about this paper here - "The CVM Algorithm for Estimating Distinct Elements in Streams" - https://cs.stanford.edu/~knuth/papers/cvm-note.pdf